diff options
| author | Pierre Letouzey | 2016-06-21 16:24:01 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-21 18:58:48 +0200 |
| commit | a1a86e6572bbae9e515cc72d7072322e5a11b49e (patch) | |
| tree | f298d35f811e493a07444844db9c322cbf2d28ab /dev | |
| parent | 6c34cc04f5bf58973bfa1f5626b8f989a42da97c (diff) | |
Parsing/compat.ml4: avoid "let open" syntax, unsupported by my camlp5 6.11
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions