diff options
| author | Enrico Tassi | 2021-01-06 17:00:18 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2021-01-26 15:27:22 +0100 |
| commit | 028342741eee445c44db2661b1c246623c96e01a (patch) | |
| tree | 4ae607617fbc405486927de19114f831b215db12 | |
| parent | df3cbbee21cfaf03f7c2b9bd78280f25a5512f5a (diff) | |
[coqargs] use option injection for -w
| -rw-r--r-- | toplevel/coqargs.ml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/toplevel/coqargs.ml b/toplevel/coqargs.ml index fbf3b4873b..c114c43e26 100644 --- a/toplevel/coqargs.ml +++ b/toplevel/coqargs.ml @@ -464,12 +464,8 @@ let parse_args ~help ~init arglist : t * string list = |"-w" | "-W" -> let w = next () in - if w = "none" then - (CWarnings.set_flags w; oval) - else - let w = CWarnings.get_flags () ^ "," ^ w in - CWarnings.set_flags (CWarnings.normalize_flags_string w); - oval + if w = "none" then add_set_option oval ["Warnings"] (Stm.OptionSet(Some w)) + else add_set_option oval ["Warnings"] (Stm.OptionAppend w) |"-bytecode-compiler" -> { oval with config = { oval.config with enable_VM = get_bool opt (next ()) }} |