diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2012-07-24 09:27:16 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2012-07-24 09:27:16 +0000 |
commit | 5ade280786a6eb85c6b533cdf82cf9aafef1c8c5 (patch) | |
tree | 8bf13fbd1e85da446afa3c9d61907815821c4dfb /coq/coq-syntax.el | |
parent | 4a3d6ad3794fa22df1568838d72f252f8b50957f (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.el | 2 |
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)) |