diff options
Diffstat (limited to 'toplevel/topmain.ml')
| -rw-r--r-- | toplevel/topmain.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml index c7949087e7..acfa97a605 100644 --- a/toplevel/topmain.ml +++ b/toplevel/topmain.ml @@ -23,6 +23,7 @@ let main () = Arg.parse [ "-I", Arg.String(fun dir -> include_dirs := dir :: !include_dirs), "<dir> Add <dir> to the list of include directories"; + "-modern", Arg.Clear classic, " Use strict label syntax"; "-noassert", Arg.Set noassert, " Do not compile assertion checks"; "-rectypes", Arg.Set recursive_types, " Allow arbitrary recursive types"; "-unsafe", Arg.Set fast, " No bound checking on array and string access"; |