diff options
Diffstat (limited to 'vernac/vernacprop.ml')
| -rw-r--r-- | vernac/vernacprop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vernac/vernacprop.ml b/vernac/vernacprop.ml index 44a7a9b15..a837b77a3 100644 --- a/vernac/vernacprop.ml +++ b/vernac/vernacprop.ml @@ -52,7 +52,7 @@ let is_reset = function | _ -> false let is_debug cmd = match under_control cmd with - | VernacSetOption (["Ltac";"Debug"], _) -> true + | VernacSetOption (_, ["Ltac";"Debug"], _) -> true | _ -> false let is_undo cmd = match under_control cmd with |