From 5ade280786a6eb85c6b533cdf82cf9aafef1c8c5 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Tue, 24 Jul 2012 09:27:16 +0000 Subject: Fixing compilation. Still need to verify some smie stuff on different versions of emacs. --- coq/coq-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/coq-syntax.el') diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 2030d141..5d80c114 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -328,7 +328,7 @@ "Coq tactic(al)s that solve a subgoal." ) -(setq develock-coq-font-lock-keywords +(defvar develock-coq-font-lock-keywords '((develock-find-long-lines (1 'develock-long-line-1 t) (2 'develock-long-line-2 t)) -- cgit v1.2.3