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