diff options
| author |  msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-06-07 13:07:12 +0000 |
|---|---|---|
| committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-06-07 13:07:12 +0000 |
| commit | 7309e19cad53a3e07aa4db6245a91b56cf3fc03b (patch) | |
| tree | 1b853aaeb9e9cbde1d65ca6843e0333e14050881 /test-suite/success/setoid_test.v | |
| parent | 136a5746aa6d3b841db6327deb61802aef518e66 (diff) | |
Cleanup in rewrite.ml4, remove Evd.merge... replaced by an evars_reset_evd
(to push the metas from a clenv into the current evars).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16568 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite/success/setoid_test.v')
0 files changed, 0 insertions, 0 deletions