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-autotest.el | 4 +++-
 coq/coq-db.el       | 6 ++++--
 coq/coq.el          | 3 +--
 3 files changed, 8 insertions(+), 5 deletions(-)

(limited to 'coq')

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))  
diff --git a/coq/coq-db.el b/coq/coq-db.el
index c063b6dd..4b8d53cd 100644
--- a/coq/coq-db.el
+++ b/coq/coq-db.el
@@ -14,7 +14,9 @@
 
 ;;; Code:
 
-(require 'cl)
+(eval-when-compile
+  (require 'cl))
+
 (require 'proof-config)			; for proof-face-specs, a macro
 (require 'holes)
 
@@ -171,7 +173,7 @@ for DB structure."
 Submenus contain SIZE entries (default 30).  See `coq-syntax-db' for DB
 structure."
   ;; sort is destructive for the list, so copy list before sorting
-  (let* ((l (coq-sort-menu-entries (copy-list db))) (res ())
+  (let* ((l (coq-sort-menu-entries (copy-sequence db))) (res ())
 	 (wdth (+ 2 (max-length-db db)))
 	 (sz (or size 30)) (lgth (length l)))
     (while l
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