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