Fix #47.

There are many other issued with coq-smie-forward-token.

1 files changed, 3 insertions, 0 deletions

diff --git a/coq/coq-smie.el b/coq/coq-smie.el
index 6f520280..e30fde01 100644
--- a/coq/coq-smie.el
+++ b/coq/coq-smie.el
@@ -379,6 +379,9 @@ The point should be at the beginning of the command name."
       ;; we can.
       (save-excursion (coq-smie-backward-token)))
 
+     ;; easier to return directly than calling coq-smie-backward-token
+     ((member tok '("lazymatch" "multimatch")) "match")
+
      ;; detect "with signature", otherwies use coq-smie-backward-token
      ((equal tok "with")
       (let ((p (point)))