diff options
author | 2016-10-06 11:38:06 +0200 | |
---|---|---|
committer | 2016-10-06 11:38:06 +0200 | |
commit | 0a6f0c161756a1878dd81e438df86f08631d8399 (patch) | |
tree | ab35fbeda0f95af2e9ade4fa153c5155b118e505 /test-suite/stm | |
parent | 08f4cfc9dfb03973ae652ef6576342ae38f8f199 (diff) |
evarconv.ml: Fix bug #4529, primproj unfolding
Evarconv was made precociously dependent on user-declared reduction
behaviors. Only cbn should rely on that.
Diffstat (limited to 'test-suite/stm')
0 files changed, 0 insertions, 0 deletions