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
---
 isar/isabelle-system.el     | 2 +-
 isar/isar-autotest.el       | 2 +-
 isar/isar-unicode-tokens.el | 2 +-
 isar/isar.el                | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'isar')

diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el
index d4ef3762..e399474b 100644
--- a/isar/isabelle-system.el
+++ b/isar/isabelle-system.el
@@ -15,7 +15,7 @@
 (eval-when-compile
   (require 'cl))			;  mapcan, eval-when
 
-(eval-when (compile)
+(eval-when-compile
   (require 'span)
   (require 'scomint)
   (require 'proof-site)
diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el
index 091d2a0a..f8784bc2 100644
--- a/isar/isar-autotest.el
+++ b/isar/isar-autotest.el
@@ -10,7 +10,7 @@
 
 (require 'pg-autotest)
 
-(eval-when (compile)
+(eval-when-compile
   (require 'cl))
 
 (require 'proof-site)
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index a1e05843..c6f58452 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -14,7 +14,7 @@
 
 (require 'cl)				; for-loop
 
-(eval-when (compile)
+(eval-when-compile
   (require 'unicode-tokens)	    ; it's loaded dynamically at runtime
   (require 'proof-unicode-tokens))  ; that file loads us at runtime
 
diff --git a/isar/isar.el b/isar/isar.el
index b8119ee6..bb755d4f 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -19,7 +19,7 @@
 (eval-when-compile 
   (require 'cl))
 
-(eval-when (compile)
+(eval-when-compile
   (require 'span)
   (require 'proof-syntax)
   (require 'pg-goals)
-- 
cgit v1.2.3