From e5beeb89bcc315dc17c52c712daf421f589adf7f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 15 Nov 1999 15:05:29 +0000
Subject: FSF fix: require cl.

---
 generic/proof-site.el | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'generic')

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))
-- 
cgit v1.2.3