From 574b0992e3cb4b7a4ad88400b9a5ab0198a96ca5 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel
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
---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index f79b78c2..7d3fe5b9 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -27,7 +27,7 @@
 (declare-function proof-tree-urgent-action "proof-tree" (flags))
 (declare-function proof-tree-handle-delayed-output "proof-tree"
 		  (old-proof-marker cmd flags span))
-(eval-when (compile)
+(eval-when-compile
   ;; without the nil initialization the compiler still warns about this variable
   (defvar proof-tree-external-display nil))
 
-- 
cgit v1.2.3