From 2b6245b95e19144e192d7fa3290e4aa6a500b7bb Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 10 Sep 2009 21:32:27 +0000
Subject: Fix compilation for Coq, including requires and some old/renamed
 settings.

---
 coq/coq-autotest.el | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'coq/coq-autotest.el')

diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el
index ec5465e2..3158ccd1 100644
--- a/coq/coq-autotest.el
+++ b/coq/coq-autotest.el
@@ -5,6 +5,11 @@
 ;; $Id$
 ;;
 
+(require 'cl)
+(eval-when (compile)
+  (require 'proof-site)
+  (proof-ready-for-assistant 'coq))  
+
 (require 'pg-autotest)
 
 ;; The included test files
-- 
cgit v1.2.3