From 7fb5e30e23dbefe96aa4bee9df9e7c161d7e4ac1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Sep 2009 10:31:28 +0000
Subject: Fix compile warnings

---
 coq/coq.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'coq/coq.el')

diff --git a/coq/coq.el b/coq/coq.el
index ffaed23f..13eda8d2 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -11,8 +11,7 @@
 ;;
 ;;; History:
 
-(eval-when-compile
-  (require 'cl))
+(require 'cl)
 
 (eval-when (compile)
   (require 'proof-utils)
-- 
cgit v1.2.3