diff options
Diffstat (limited to 'coq/coq-smie.el')
-rw-r--r-- | coq/coq-smie.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coq/coq-smie.el b/coq/coq-smie.el index bfbc9a8f..349004ac 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -449,11 +449,11 @@ The point should be at the beginning of the command name." ; Same for ";" : record field separator, tactic combinator, etc ((equal tok ";") (save-excursion - (let ((backtok (coq-smie-search-token-backward '("." "[" "{")))) + (let ((backtok (coq-smie-search-token-backward '("." "[" "{" "Ltac")))) (cond ((equal backtok ".") "; tactic") ((equal backtok nil) - (if (or (looking-back "\\[") + (if (or (looking-back "(") (looking-back "\\[") (and (looking-back "{") (equal (coq-smie-backward-token) "{ subproof"))) ;; recursive call "; tactic" |