From 7fb5e30e23dbefe96aa4bee9df9e7c161d7e4ac1 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 16 Sep 2009 10:31:28 +0000
Subject: Fix compile warnings

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

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

diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el
index 3158ccd1..f803b852 100644
--- a/coq/coq-autotest.el
+++ b/coq/coq-autotest.el
@@ -5,7 +5,9 @@
 ;; $Id$
 ;;
 
-(require 'cl)
+(eval-when-compile
+  (require 'cl))
+
 (eval-when (compile)
   (require 'proof-site)
   (proof-ready-for-assistant 'coq))  
-- 
cgit v1.2.3