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