From 574b0992e3cb4b7a4ad88400b9a5ab0198a96ca5 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Fri, 5 May 2017 12:08:54 -0400
Subject: Change (eval-when (compile) ...) to (eval-when-compile ...)

This fixes a bunch of compilation warnings
---
 coq/coq-par-compile.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq/coq-par-compile.el')

diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el
index 05703e45..1580febd 100644
--- a/coq/coq-par-compile.el
+++ b/coq/coq-par-compile.el
@@ -27,7 +27,7 @@
 (eval-when-compile
   (require 'proof-compat))
 
-(eval-when (compile)
+(eval-when-compile
   (defvar queueitems))       ; dynamic scope in p-s-extend-queue-hook
 
 (require 'coq-compile-common)
-- 
cgit v1.2.3