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 | |
parent | 28ee469c90b9673cce21c1ea4e34d5dc3406ad56 (diff) |
Fix #176.
The code uses several token searcher and the wrong one was called
somewhere.
-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:]_]")) |