diff options
| author | herbelin | 2013-03-21 21:45:42 +0000 |
|---|---|---|
| committer | herbelin | 2013-03-21 21:45:42 +0000 |
| commit | 8646837a56962c9319d7fd428a72223b947ac141 (patch) | |
| tree | def8a1a298aff5763c1d65d435654db9be143b14 /kernel/nativelambda.ml | |
| parent | eec75e3814818ec96ac1045c2dd63e242620dcfe (diff) | |
Fixing unfolding of local definitions during unification that appeared
with commit r16233. This commit added a more precise filtering of
variables on which an evar was allowed to be dependent, but) but it
also broke some Ssreflect scripts. The reason why that filtering was
incorrectly applied, sometimes, to local definitions.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16346 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions