diff options
| author | Matthieu Sozeau | 2014-07-02 17:19:13 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-07-02 17:19:13 +0200 |
| commit | 2ce9f694faf3ea69b0eeb0a5b4214852bcbffc58 (patch) | |
| tree | 5f3a5ebf0b87ab577e85ebd18e835cbb376e3ee5 /kernel/nativecode.mli | |
| parent | c5194d098dce2ab829b63afde4199b750ea85e31 (diff) | |
Fix a Not_found anomaly raised by solve_evar_evar, we were breaking the
invariant that the evar arguments to that function always have to be undefined.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions