diff options
-rw-r--r-- | generic/proof-site.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 85827c7f..87fd4afe 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -12,6 +12,10 @@ (unless (featurep 'proof-site) ; don't load twice +(require 'cl) ; we're going to need it sooner + ; or later, and FSF doesn't + ; autoload it properly. + (if (or (not (boundp 'emacs-major-version)) (< emacs-major-version 20)) (error "Proof General is not compatible with Emacs %s" emacs-version)) |