diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/main_args.ml | 2 | ||||
| -rw-r--r-- | driver/optmain.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/driver/main_args.ml b/driver/main_args.ml index b112c60e1..786fa8dc3 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -74,7 +74,7 @@ struct "<lib> Use the dynamically-loaded library <lib>"; "-dllpath", Arg.String F._dllpath, "<dir> Add <dir> to the run-time search path for shared libraries"; - "-dtypes", Arg.Unit F._dtypes, " Save type information in <filename>.types"; + "-dtypes", Arg.Unit F._dtypes, " Save type information in <filename>.annot"; "-g", Arg.Unit F._g, " Save debugging information"; "-i", Arg.Unit F._i, " Print the types"; "-I", Arg.String F._I, diff --git a/driver/optmain.ml b/driver/optmain.ml index a321fa2b7..a6d9d387b 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -89,7 +89,7 @@ let main () = "-compact", Arg.Clear optimize_for_speed, " Optimize code size rather than speed"; "-dtypes", Arg.Set save_types, - " Save type information in <filename>.types"; + " Save type information in <filename>.annot"; "-i", Arg.Set print_types, " Print the types"; "-I", Arg.String(fun dir -> include_dirs := dir :: !include_dirs), "<dir> Add <dir> to the list of include directories"; |