diff options
| author | Matthieu Sozeau | 2016-11-07 14:47:15 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-11-07 14:47:15 +0100 |
| commit | 1f36cdefd841526f804bd2dd51c1d88309333376 (patch) | |
| tree | 9d13ea499cfebf6285eccc6d8b434bcf5ea9e41b /kernel/declarations.mli | |
| parent | a4cecc13cde3239d6a86f98ba6bba0e4554306bd (diff) | |
Fixes to compile with ocaml 4.01
Diffstat (limited to 'kernel/declarations.mli')
0 files changed, 0 insertions, 0 deletions