Index: coq/coq-smie.el
===================================================================
RCS file: /disk/cvs/proofgen/ProofGeneral/coq/coq-smie.el,v
retrieving revision 11.21
diff -u -r11.21 coq-smie.el
--- coq/coq-smie.el 3 Apr 2015 16:40:08 -0000   11.21
+++ coq/coq-smie.el 16 Apr 2015 19:41:14 -0000
@@ -598,6 +598,8 @@
       ((equal prev-interesting "let") "in let")
       ;((equal prev-interesting "eval in") "in eval"); not detectable by coq-smie-search-token-backward
       ((equal prev-interesting "match") "in match")
+       ((equal prev-interesting "lazymatch") "in match")
+       ((equal prev-interesting "multimatch") "in match")
       (t "in tactic")))))

      ((and (eq (char-before) ?@) (member (char-syntax (char-after)) '(?w ?_)))