diff options
| author | Hugo Herbelin | 2014-09-12 10:31:55 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-09-12 10:33:38 +0200 |
| commit | 19adfa9994e4772a7f039f2c3880e5d26dd45b12 (patch) | |
| tree | cc3d199227beb259d8dd09fa55e5f9c6e15abc64 /kernel/cbytecodes.ml | |
| parent | adaed81659c0461bc6f697268fd6f79ab46db7ae (diff) | |
Commit 682aa67cc80 about enforcing that apply does not create new
evars was too liberal. Using an intermediate criterion which makes
both tests apply.v and 3284.v working.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions