diff options
| author | Pierre-Marie Pédrot | 2018-02-27 15:33:11 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-02-27 15:33:11 +0100 |
| commit | 52d90aee0859e5b67102435c6aee5c097c7ce4ce (patch) | |
| tree | 3943603bfd0d7ab98206cdbd2b59372fe35876e3 /dev/base_include | |
| parent | e3124e098ef8170dac2b348b91757a7034bc4999 (diff) | |
Add a comment on EConstr.to_constr regarding evar-freeness.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions