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 /tools/compat5b.mlp | |
parent | 6c34cc04f5bf58973bfa1f5626b8f989a42da97c (diff) |
Parsing/compat.ml4: avoid "let open" syntax, unsupported by my camlp5 6.11
Diffstat (limited to 'tools/compat5b.mlp')
0 files changed, 0 insertions, 0 deletions