diff options
author | 2018-02-28 10:16:15 +0100 | |
---|---|---|
committer | 2018-02-28 10:16:15 +0100 | |
commit | 739e27be625a03db2d9d6651542eac7ccff8f4c2 (patch) | |
tree | 4f3aae3685247c6c6536bd0192e5b959a6897b64 /plugins/setoid_ring/g_newring.ml4 | |
parent | e8c2d7a2f269eaa0c3b75d75680893f6af5dd29e (diff) | |
parent | 52d90aee0859e5b67102435c6aee5c097c7ce4ce (diff) |
Merge PR #6853: Add a comment on EConstr.to_constr regarding evar-freeness.
Diffstat (limited to 'plugins/setoid_ring/g_newring.ml4')
0 files changed, 0 insertions, 0 deletions