From 605a9890bca09e9c6e24ce0e774bc7bfbd3f212e Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 27 Mar 2015 15:46:29 +0000
Subject: Fixed a small bug in indentation.

---
 coq/coq-smie.el | 4 ++--
 1 file 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"
-- 
cgit v1.2.3