From 199edd131d84db62e6ee34e48406eb4530a2a25a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 18 Jan 2012 13:42:37 +0000
Subject: Fixed a small bug in indentation.

---
 coq/coq.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 8ef90c08..7eebb364 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -592,7 +592,9 @@ Lemma foo: forall n,
              (coq-smie-search-token-backward
               ;; careful not to stop when "." is found: dotted notation
               ;; are not recognized by coq-smie-search-token-backward
-              '("in" "let" "eval" "rewrite" "unfold"))
+              ;; TODO: add all tactics accepting "in" TODO or better: find
+              ;; another way to distinguish tactic "in" from "let in"
+              '("in" "let" "eval" "rewrite" "unfold" "apply"))
              '("in" "let"))
             "in" "in tactic")))
      (tok))))
-- 
cgit v1.2.3