diff options
Diffstat (limited to 'ide/coq.ml')
| -rw-r--r-- | ide/coq.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index 35feb59ed..4fd48a306 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -275,8 +275,8 @@ let rec attribute_of_vernac_command = function | VernacDeclareImplicits _ -> [] | VernacReserve _ -> [] | VernacSetOpacity _ -> [] - | VernacSetOption (["Ltac";"Debug"], _) -> [DebugCommand] - | VernacSetOption (o,BoolValue true) | VernacUnsetOption o -> + | VernacSetOption (_,["Ltac";"Debug"], _) -> [DebugCommand] + | VernacSetOption (_,o,BoolValue true) | VernacUnsetOption (_,o) -> if coqide_known_option o then [KnownOptionCommand] else [] | VernacSetOption _ -> [] | VernacRemoveOption _ -> [] |