diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2009-12-09 09:23:48 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2009-12-09 09:23:48 +0000 |
| commit | 3ced5196f424ea5597d9c7407492d790aa9e4033 (patch) | |
| tree | abe8d0d3ef4e0716191982d01517bead7489bd39 | |
| parent | 700da01338135771047eb11c6af925f04e10909c (diff) | |
Typo.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | toplevel/topmain.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml index a8cab01dd..fc105567a 100644 --- a/toplevel/topmain.ml +++ b/toplevel/topmain.ml @@ -68,7 +68,7 @@ let main () = " do not add default directory to the list of include directories"; "-principal", Arg.Set principal, " Check principality of type inference"; "-rectypes", Arg.Set recursive_types, " Allow arbitrary recursive types"; - "-strict-sequence", Arg.Set recursive_types, + "-strict-sequence", Arg.Set strict_sequence, " Left hand part of a sequence must have type unit"; "-unsafe", Arg.Set fast, " No bound checking on array and string access"; "-version", Arg.Unit print_version, " Print version and exit"; |