From ef584b51fac4be9703d8772b3c20bbeffc5f9fc8 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Thu, 19 Apr 2012 13:45:23 +0000
Subject: enable compilation of generic/proof-autoloads.el

---
 generic/proof-autoloads.el | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el
index d0f8db5a..90430f73 100644
--- a/generic/proof-autoloads.el
+++ b/generic/proof-autoloads.el
@@ -4,6 +4,15 @@
 
 (if (featurep 'proof-autoloads) (error "Already loaded"))
   
+(eval-when-compile
+  (require 'cl))
+
+(eval-when (compile)
+  (require 'pg-vars)
+  (require 'proof-config)
+  (require 'scomint))
+
+
 (provide 'proof-autoloads)
 
 
@@ -1031,7 +1040,6 @@ Return a unicode encoded version presentation of STR.
 
 ;; Local Variables:
 ;; version-control: never
-;; no-byte-compile: t
 ;; no-update-autoloads: t
 ;; End:
 
-- 
cgit v1.2.3