diff options
| -rw-r--r-- | coq/coq-smie.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-smie.el b/coq/coq-smie.el index e56366d5..9a3b5af2 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -931,7 +931,7 @@ KIND is the situation and TOKEN is the thing w.r.t which the rule applies." ((and (equal token "; tactic") (not (coq-smie-is-ltacdef)) (not (smie-rule-parent-p "; tactic"))) ;; Let us find either a dot of Ltac definition start. - (smie-rule-parent coq-indent-semicolon-tactical)) + coq-indent-semicolon-tactical) ; "as" tactical is not idented correctly ((equal token "in let") (smie-rule-parent)) |