From 06fcca32039e17e008be0d5fcca05975f292534e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 Apr 2011 14:50:01 +0000
Subject: Fix compile

---
 coq/coq-autotest.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el
index f1b8e020..df91010d 100644
--- a/coq/coq-autotest.el
+++ b/coq/coq-autotest.el
@@ -10,7 +10,8 @@
 
 (eval-when (compile)
   (require 'proof-site)
-  (proof-ready-for-assistant 'coq))  
+  (proof-ready-for-assistant 'coq)
+  (defvar coq-compile-before-require nil))
 
 (require 'pg-autotest)
 
-- 
cgit v1.2.3