From 03ff7c4c6bfd666c3aa394eb981ccd7d762acf8c Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Wed, 19 Apr 2017 14:17:17 +0200 Subject: Fix #176. The code uses several token searcher and the wrong one was called somewhere. --- coq/coq-smie.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/coq-smie.el') 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:]_]")) -- cgit v1.2.3