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/coq-autotest.el | |
parent | d1ce95f0ffb1ed45305b7b56664fbc10cd1fbfef (diff) |
Fix compile warnings
Diffstat (limited to 'coq/coq-autotest.el')
-rw-r--r-- | coq/coq-autotest.el | 4 |
1 files changed, 3 insertions, 1 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)) |