diff options
| author | Enrico Tassi | 2014-12-17 20:25:06 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-12-17 20:25:18 +0100 |
| commit | c6d356844ec857b376302c50c925faae558814a9 (patch) | |
| tree | c6bbfa093852b5e4bc383ed84c534e22b0983d29 /kernel/type_errors.mli | |
| parent | 7ebe6117789ac3c0d31c8a6ed918fce71b6d2e4b (diff) | |
Fix compilation with ocaml 4.0.0
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions