diff options
| -rw-r--r-- | coq/x-symbol-coq.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el index 313a5d29..44bb4925 100644 --- a/coq/x-symbol-coq.el +++ b/coq/x-symbol-coq.el @@ -12,6 +12,8 @@ ;; NB: This file is part of the Proof General distribution. ;; +(eval-when-compile + (require 'cl)) ; to properly compile 'block' (defvar x-symbol-coq-required-fonts nil) |