diff options
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 e30fde01..38ca5fd1 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -107,7 +107,7 @@ attention to case differences." (goto-char pt) ;; looking for a dummy token to see if we fail before reaching ;; strt, which means that we were in a prenthesized expression. - (coq-smie-search-token-backward "#dummy#" strt) + (coq-smie-search-token-backward '("#dummy#") strt) (> (point) strt))))) (defun coq-smie-.-deambiguate () |