From 839ed4e80ca4dc068422c7c9fdb0c00e4ff1ebab Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 1 Apr 2019 13:44:54 +0200
Subject: Unify Set and Unset handling for options

Not sure if the idetop.set_options was correctly changed, ocaml types
pass at least.
---
 toplevel/coqloop.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'toplevel')

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
-- 
cgit v1.2.3