diff options
author | 2008-01-16 00:52:03 +0000 | |
---|---|---|
committer | 2008-01-16 00:52:03 +0000 | |
commit | d0eb717f00ff9cfbedd3e747c71e63e855120000 (patch) | |
tree | d0ab96fde229dff0779fbcac68318ba337f4be45 /coq | |
parent | bc914f10454d4f2cc0f920eb85a8888a4cc56248 (diff) |
Updated.
Diffstat (limited to 'coq')
-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) |