From 17d64c58588779979f1951b6f727e5deb671075c Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Wed, 9 Mar 2016 19:00:54 +0100 Subject: Fix #47. There are many other issued with coq-smie-forward-token. --- coq/coq-smie.el | 3 +++ 1 file changed, 3 insertions(+) (limited to 'coq/coq-smie.el') 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))) -- cgit v1.2.3