diff options
-rw-r--r-- | driver/Driver.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 16267128..400aba84 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -757,6 +757,7 @@ let cmdline_actions = Exact "-v", Set option_v; Exact "-stdlib", String(fun s -> stdlib_path := s); Exact "-timings", Set option_timings; + Exact "-Werror", Set Cerrors.warn_error; (* Interpreter mode *) Exact "-interp", Set option_interp; Exact "-quiet", Self (fun _ -> Interp.trace := 0); |