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