diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-09-04 16:11:33 +0200 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-09-04 16:11:41 +0200 |
| commit | df53bf1e053026628822766f79aef9c050775949 (patch) | |
| tree | 1d31b023e1c182d5817ffeface7b4429d56d693c /kernel/environ.mli | |
| parent | 67b8fba4209c407c94ed8d54ec78352397d82f59 (diff) | |
Fix: shelve_unifiable did not work modulo evar instantiation.
Irony…
Diffstat (limited to 'kernel/environ.mli')
0 files changed, 0 insertions, 0 deletions