diff options
| author | msozeau | 2008-09-25 20:16:23 +0000 |
|---|---|---|
| committer | msozeau | 2008-09-25 20:16:23 +0000 |
| commit | b103459011e65c09d481bdaee5fd7ce7638fb139 (patch) | |
| tree | 7729ca2f988096f6fc50dde32d76534326051874 /theories/Program/FunctionalExtensionality.v | |
| parent | f9cbb56333230d81338f1d223e2c08343a1095eb (diff) | |
Partial fix for bug #1948: recompute order of dependencies between
evars at the end of unification as later evars can refer to
previous ones. This removes the assumption that evars are already
ordered in eterm's code.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11419 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Program/FunctionalExtensionality.v')
0 files changed, 0 insertions, 0 deletions