diff options
| author | Pierre-Marie Pédrot | 2016-08-30 18:47:45 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-08-30 19:03:05 +0200 |
| commit | 4582ed1c8f0620941a3c296941b1dc808c95d7fe (patch) | |
| tree | d9d58f831b051fa06c5d014f663299db8f91ae35 /kernel/nativecode.ml | |
| parent | 721637c98514a77d05d080f53f226cab3a8da1e7 (diff) | |
Fix bug #4893: not_evar: unexpected failure in 8.5pl1.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions