From b46538af8e1804401b8a810d1f3c9bbb95e203fe Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 24 Aug 2011 08:40:48 +0000
Subject: eval-when-compile -> eval-when (compile) to avoid defvar
 coq-prog-name overriding setting in coq.el

---
 coq/coq-local-vars.el | 3 ++-
 1 file changed, 2 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 95d9c783..bd57ae0f 100644
--- a/coq/coq-local-vars.el
+++ b/coq/coq-local-vars.el
@@ -11,7 +11,8 @@
 
 (require 'local-vars-list)              ; in lib directory
 
-(eval-when-compile
+(require 'cl)
+(eval-when (compile)
   (defvar coq-prog-name nil)
   (defvar coq-load-path nil))
 
-- 
cgit v1.2.3