diff options
Diffstat (limited to 'utils/warnings.ml')
| -rw-r--r-- | utils/warnings.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/warnings.ml b/utils/warnings.ml index a7babcc40..3ca138d51 100644 --- a/utils/warnings.ml +++ b/utils/warnings.ml @@ -200,7 +200,7 @@ let parse_opt flags s = let parse_options errflag s = parse_opt (if errflag then error else active) s;; (* If you change these, don't forget to change them in man/ocamlc.m *) -let defaults_w = "+a-4-6-7-9-27-29-32-33-34-35-36-37";; +let defaults_w = "+a-4-6-7-9-27-29-32..37";; let defaults_warn_error = "-a";; let () = parse_options false defaults_w;; |