From b95af8adbc9b5d7b12ad331a1447871e331e6823 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Jul 2001 15:26:08 +0000
Subject: Add require for arch flags, cleaner compilation.

---
 generic/proof-compat.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index 52cf6229..f4c0ac5e 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -16,6 +16,7 @@
 ;; XEmacs advice on removing obsolete function calls.
 ;;
 
+(require 'proof-site)			; for architecture flags
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
-- 
cgit v1.2.3