From b4b0c56b664c79a6e09bf6a70ea14483edd9e2d4 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 18 Jan 2012 13:58:55 +0000
Subject: Fixed a small bug in indentation (bis repetita).

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

diff --git a/coq/coq.el b/coq/coq.el
index 7eebb364..6af3314c 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -594,7 +594,7 @@ Lemma foo: forall n,
               ;; are not recognized by coq-smie-search-token-backward
               ;; 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" "eval" "rewrite" "unfold" "apply" "simpl" "compute" "symmetry"))
              '("in" "let"))
             "in" "in tactic")))
      (tok))))
-- 
cgit v1.2.3