diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-04-19 14:17:17 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-04-19 14:17:17 +0200 |
| commit | 03ff7c4c6bfd666c3aa394eb981ccd7d762acf8c (patch) | |
| tree | be47e9d415a3ad63b5e825ff89fc4e8050e1e3af /coq/coq-smie.el | |
| parent | 28ee469c90b9673cce21c1ea4e34d5dc3406ad56 (diff) | |
Fix #176.
The code uses several token searcher and the wrong one was called
somewhere.
Diffstat (limited to 'coq/coq-smie.el')
| -rw-r--r-- | coq/coq-smie.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-smie.el b/coq/coq-smie.el index c488e73f..ce386c1f 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -373,7 +373,7 @@ The point should be at the beginning of the command name." (defun coq-smie-forward-token () - (let ((tok (coq-forward-token-fast-nogluing-dot-friends))) + (let ((tok (smie-default-forward-token))) (cond ;; @ may be ahead of an id, it is part of the id. ((and (equal tok "@") (looking-at "[[:alpha:]_]")) |