diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-10-16 13:40:36 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-10-16 13:40:36 +0000 |
| commit | 5e8adcd8dff69aa0675f1bdb30b8fbe336713d26 (patch) | |
| tree | 45b9c2124f550b621c37c71355516d9cd422dd08 /parsing/syntaxerr.ml | |
| parent | 7224745796fe819b8c7729fdb41ac3e5cb5a16d0 (diff) | |
#5784: -dclambda option is ignored.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13017 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/syntaxerr.ml')
0 files changed, 0 insertions, 0 deletions