diff options
| -rw-r--r-- | coq/coq-syntax.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index a0427dfa..02cfac8a 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -11,6 +11,7 @@ (require 'coq-db) (eval-when-compile + (require 'span) (defvar coq-goal-command-regexp nil) (defvar coq-save-command-regexp-strict nil)) |