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