diff options
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)) |