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