From d73380a2bc6b0cf8d79f84f6d515cfce1a332551 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 17 Oct 2011 10:11:47 +0000
Subject: Attempt to support stricter bytecomp flags

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

(limited to 'coq/coq-local-vars.el')

diff --git a/coq/coq-local-vars.el b/coq/coq-local-vars.el
index bd57ae0f..82c3f93e 100644
--- a/coq/coq-local-vars.el
+++ b/coq/coq-local-vars.el
@@ -11,7 +11,9 @@
 
 (require 'local-vars-list)              ; in lib directory
 
-(require 'cl)
+(eval-when-compile
+  (require 'cl))
+
 (eval-when (compile)
   (defvar coq-prog-name nil)
   (defvar coq-load-path nil))
-- 
cgit v1.2.3