diff options
| author | Matthieu Sozeau | 2016-10-06 11:38:06 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-10-06 11:38:06 +0200 |
| commit | 0a6f0c161756a1878dd81e438df86f08631d8399 (patch) | |
| tree | ab35fbeda0f95af2e9ade4fa153c5155b118e505 /kernel/nativecode.mli | |
| 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 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions