Fixed a small bug in indentation.

1 files changed, 3 insertions, 1 deletions

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))))