From eb07b360f437c463a9362982a66a1a835c3054f0 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 8 Jan 2016 13:23:45 +0100
Subject: Fixing outdenting in ";" indetation.

---
 coq/coq-smie.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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))
-- 
cgit v1.2.3