diff options
| author | Hugo Herbelin | 2015-12-10 16:40:38 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 17:38:20 +0100 |
| commit | 20e1829ad3de42dd322af972c6f9a585f40738ef (patch) | |
| tree | 576a73f9a74fd4f80d8ae574ec1ba15847a4ad60 /kernel/nativecode.mli | |
| parent | a6f1944809e4caa6c99deb8c508dab9ad0e0071e (diff) | |
Fixing compilation with OCaml 3.12 after commit 9d45d45f3a87 on removing
"open Unix" from lib/system.ml.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions