diff options
Diffstat (limited to 'tools/ocamlcp.ml')
| -rw-r--r-- | tools/ocamlcp.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml index b2f147c45..bb5b7b075 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -61,6 +61,7 @@ module Options = Main_args.Make_options (struct let _v = option "-v" let _verbose = option "-verbose" let _w = option_with_arg "-w" + let _warn_error = option_with_arg "-warn-error" let _nopervasives = option "-nopervasives" let _dparsetree = option "-dparsetree" let _drawlambda = option "-drawlambda" |