diff options
Diffstat (limited to 'driver/optmain.ml')
| -rw-r--r-- | driver/optmain.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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"; |