diff options
Diffstat (limited to 'toplevel/topmain.ml')
| -rw-r--r-- | toplevel/topmain.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml index ff3c10e9f3..28276d54d6 100644 --- a/toplevel/topmain.ml +++ b/toplevel/topmain.ml @@ -53,6 +53,7 @@ let main () = \032 A/a enable/disable all warnings\n\ \032 C/c enable/disable suspicious comment\n\ \032 D/d enable/disable deprecated features\n\ + \032 E/e enable/disable fragile match\n\ \032 F/f enable/disable partially applied function\n\ \032 M/m enable/disable overriden method\n\ \032 P/p enable/disable partial match\n\ @@ -60,7 +61,8 @@ let main () = \032 U/u enable/disable unused match case\n\ \032 V/v enable/disable hidden instance variable\n\ \032 X/x enable/disable all other warnings\n\ - \032 default setting is \"Al\" (all warnings but labels enabled)"; + \032 default setting is \"Ale\"\n\ + \032 (all warnings but labels and fragile match enabled)"; "-warn-error" , Arg.String (Warnings.parse_options true), "<flags> Enable or disable fatal warnings according to <flags>\n\ \032 (see option -w for the list of flags)\n\ |