From 6dff5d581c61447b71aaa1fd1c66be16f72aa36c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 2 Sep 2012 21:44:46 +0000
Subject: Repair operation with compiled code.  Fails with interpreter, see
 Trac #445

---
 isar/isar-autotest.el | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'isar')

diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el
index a98dc664..60fa2ebc 100644
--- a/isar/isar-autotest.el
+++ b/isar/isar-autotest.el
@@ -8,19 +8,18 @@
 (defvar isar-long-tests nil
   "Whether or not to perform lengthy tests")
 
-(eval-when-compile
-  (require 'cl))
+(require 'pg-autotest)
 
 (eval-when (compile)
+  (require 'cl)
   (require 'proof-site)
-  (proof-ready-for-assistant 'isar))  
+  (proof-ready-for-assistant 'isar))
+
 
 (declare-function isar-tracing:auto-quickcheck-toggle "isar.el")
 (declare-function isar-tracing:auto-solve-direct-toggle "isar.el")
 (declare-function isar-proof:parallel-proofs-toggle "isar.el")
 
-(require 'pg-autotest)
-
 (unless noninteractive
 
   (pg-autotest start) ; can add 'debug flag for debug-on-error
-- 
cgit v1.2.3