diff options
| author | David Aspinall | 1999-11-15 15:05:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-15 15:05:29 +0000 |
| commit | e5beeb89bcc315dc17c52c712daf421f589adf7f (patch) | |
| tree | 5924104276b2d4b698be1ecd6d8ee431b1858798 /generic | |
| parent | 384ec2d05585fe1440b9612d842533ca8124a85a (diff) | |
FSF fix: require cl.
Diffstat (limited to 'generic')
| -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)) |