diff options
| author | Emilio Jesus Gallego Arias | 2018-10-02 15:59:06 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-02 16:00:22 +0200 |
| commit | 87d5e79baea4f3679a1429d2a2e128b564eec5d5 (patch) | |
| tree | b8c6f4999bbb806bcceaec22fbe482a839246cfd /interp/notation.ml | |
| parent | e65d160d5fa4e0b8b5754b0925b0b5a880523bc5 (diff) | |
[ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0
Diffstat (limited to 'interp/notation.ml')
0 files changed, 0 insertions, 0 deletions