diff options
| author | Gaëtan Gilbert | 2019-04-01 13:44:54 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-04-12 13:59:23 +0200 |
| commit | 839ed4e80ca4dc068422c7c9fdb0c00e4ff1ebab (patch) | |
| tree | 37a4e9a4b9d291d630f63eb37f7307f91fe65d60 /toplevel | |
| parent | 38b86f40b3e2c6ce0ea77c94cf0c48efbf7c9f13 (diff) | |
Unify Set and Unset handling for options
Not sure if the idetop.set_options was correctly changed, ocaml types
pass at least.
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/coqloop.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/toplevel/coqloop.ml b/toplevel/coqloop.ml index b3de8dd85f..4129562065 100644 --- a/toplevel/coqloop.ml +++ b/toplevel/coqloop.ml @@ -340,9 +340,7 @@ let print_anyway_opts = [ let print_anyway c = let open Vernacexpr in match c with - | VernacExpr (_, VernacSetOption (_, opt, _)) - | VernacExpr (_, VernacUnsetOption (_, opt)) -> - List.mem opt print_anyway_opts + | VernacExpr (_, VernacSetOption (_, opt, _)) -> List.mem opt print_anyway_opts | _ -> false (* We try to behave better when goal printing raises an exception |