From a352fc124821d8853fd6142d950cab45785dc44f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Aug 2001 18:12:51 +0000
Subject: Moved compat hack to proof-site

---
 generic/proof-compat.el | 7 -------
 generic/proof-site.el   | 8 ++++++++
 2 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index 6bb3b6d6..f4c0ac5e 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -45,13 +45,6 @@ with `path-separator'."
 ;;; FSF compatibility
 ;;;
 
-;; 1.8.01: add a dummy package-provide command so proof-autoloads
-;; is compatible with FSF Emacs.
-(or (fboundp 'package-provide)
-    (defun package-provide (name &rest attributes)
-      "Dummy version of XEmacs function for FSF compatibility."))
-
-
 ;; completion not autoloaded in FSF 20.6.1; we must call 
 ;; dynamic-completion-mode after loading it.
 (or (fboundp 'complete)
diff --git a/generic/proof-site.el b/generic/proof-site.el
index c7e0d857..01fec3e9 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -314,6 +314,14 @@ Note: to change proof assistant, you must start a new Emacs session.")
 
 ;; Now define a few autoloads and basic variables.
 
+;; 1.8.01: add a dummy package-provide command so proof-autoloads
+;; is compatible with FSF Emacs.  Needed for next provide
+;; (otherwise would be in proof-compat.el).
+(or (fboundp 'package-provide)
+    (defun package-provide (name &rest attributes)
+      "Dummy version of XEmacs function for FSF compatibility."))
+
+
 (require 'proof-autoloads)		; autoloaded functions
 
 (defcustom proof-assistant-cusgrp nil
-- 
cgit v1.2.3