diff options
Diffstat (limited to 'coq/coq-smie.el')
-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 ab825ec8..469a91cc 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -922,7 +922,7 @@ KIND is the situation and TOKEN is the thing w.r.t which the rule applies." ((equal token "; tactic") (cond ((smie-rule-parent-p "; tactic") (smie-rule-separator kind)) - (t (smie-rule-parent coq-indent-semicolon-tactical)))) + (t coq-indent-semicolon-tactical))) ; "as" tactical is not idented correctly ((equal token "in let") (smie-rule-parent)) |