diff options
| -rw-r--r-- | ide/coq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index 62175aee81..37511f5a75 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -124,7 +124,7 @@ let interp verbosely s = | VernacDeclareTacticDefinition _ when is_in_proof_mode () -> user_error_loc loc (str "CoqIDE do not support nested goals") - | VernacDebug _ -> + | VernacSetOption (Goptions.SecondaryTable ("Ltac","Debug"), _) -> user_error_loc loc (str "Debug mode not available within CoqIDE") | VernacResetName _ | VernacResetInitial |