diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-16 10:31:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-16 10:31:28 +0000 |
| commit | 7fb5e30e23dbefe96aa4bee9df9e7c161d7e4ac1 (patch) | |
| tree | 7f413c8f18227e06dc2f2a617586201ab93188e4 /coq | |
| parent | d1ce95f0ffb1ed45305b7b56664fbc10cd1fbfef (diff) | |
Fix compile warnings
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-autotest.el | 4 | ||||
| -rw-r--r-- | coq/coq-db.el | 6 | ||||
| -rw-r--r-- | coq/coq.el | 3 |
3 files changed, 8 insertions, 5 deletions
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 @@ -11,8 +11,7 @@ ;; ;;; History: -(eval-when-compile - (require 'cl)) +(require 'cl) (eval-when (compile) (require 'proof-utils) |