diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-02-28 10:16:15 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-02-28 10:16:15 +0100 |
commit | 739e27be625a03db2d9d6651542eac7ccff8f4c2 (patch) | |
tree | 4f3aae3685247c6c6536bd0192e5b959a6897b64 /theories | |
parent | e8c2d7a2f269eaa0c3b75d75680893f6af5dd29e (diff) | |
parent | 52d90aee0859e5b67102435c6aee5c097c7ce4ce (diff) |
Merge PR #6853: Add a comment on EConstr.to_constr regarding evar-freeness.
Diffstat (limited to 'theories')
0 files changed, 0 insertions, 0 deletions