diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-03-09 19:00:54 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-03-09 19:00:54 +0100 |
| commit | 17d64c58588779979f1951b6f727e5deb671075c (patch) | |
| tree | 46826f317788f5341299ee7b71b2c06063c436b3 /coq/coq-smie.el | |
| parent | e2c5da005b1b29e1da3c1b2bf1c6de45d3d78b1a (diff) | |
Fix #47.
There are many other issued with coq-smie-forward-token.
Diffstat (limited to 'coq/coq-smie.el')
| -rw-r--r-- | coq/coq-smie.el | 3 |
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))) |