diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-06-23 22:37:04 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-06-23 22:37:04 +0200 |
commit | d135b92061bb5329f7c66d03a106156258fa5a90 (patch) | |
tree | 7ef305fefa027feb1ac035b2cc8fbd16e1812f1d /coq/coq-smie.el | |
parent | 275437930fa267a31ab128b4694bd4b8b884dc70 (diff) |
Fix a type error hidden until recent emacs.
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 () |