From d135b92061bb5329f7c66d03a106156258fa5a90 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 23 Jun 2016 22:37:04 +0200 Subject: Fix a type error hidden until recent emacs. --- 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 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 () -- cgit v1.2.3