From dc3e34dbdfc264af12d954dff42fe67dd0e1d499 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 7 Jan 2016 16:47:36 +0100 Subject: Fixed indentation of ";" tactical. --- coq/coq-smie.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/coq-smie.el') 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)) -- cgit v1.2.3