diff options
| author | Arnaud Spiwack | 2013-12-06 16:45:10 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2013-12-06 16:45:10 +0100 |
| commit | 84c4f0e509dc6cde3a53dda3ba946077cc23ad95 (patch) | |
| tree | 814fe7e08bac33e433c001d51a57c2a3d0cd2fc0 /kernel/nativecode.ml | |
| parent | 2bbe6a88b840a4857f683fd6ee8cfc37ad7770c7 (diff) | |
Fix test-suite/success/evars.v.
In commit a92a27 (Fix the compilation of pattern matching wrt to variables), I introduced a serious bug in which, in some case, the infered return predicate of a pattern matching would be lifted wrongly. Because I wrote [false] instead of [true] at one location (which prevented creation of aliases and so created shorter named_context than expected).
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions