aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-syntax.el
diff options
context:
space:
mode:
authorGravatar Pierre Courtieu <courtieu@lri.fr>2012-07-24 09:27:16 +0000
committerGravatar Pierre Courtieu <courtieu@lri.fr>2012-07-24 09:27:16 +0000
commit5ade280786a6eb85c6b533cdf82cf9aafef1c8c5 (patch)
tree8bf13fbd1e85da446afa3c9d61907815821c4dfb /coq/coq-syntax.el
parent4a3d6ad3794fa22df1568838d72f252f8b50957f (diff)
Fixing compilation. Still need to verify some smie stuff on different versions of emacs.
Diffstat (limited to 'coq/coq-syntax.el')
-rw-r--r--coq/coq-syntax.el2
1 files changed, 1 insertions, 1 deletions
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))