From f655267e173c250351f6febf0594ffb168b29b9f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 17 Oct 2011 09:25:36 +0000 Subject: Require cl only during compile --- isar/isabelle-system.el | 3 ++- isar/isar.el | 4 +++- 2 files changed, 5 insertions(+), 2 deletions(-) (limited to 'isar') diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index c1a393b5..c58b69e3 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -12,7 +12,8 @@ ;; ;;; Code: -(require 'cl) ; mapcan, eval-when +(eval-when-compile + (require 'cl)) ; mapcan, eval-when (eval-when (compile) (require 'span) diff --git a/isar/isar.el b/isar/isar.el index 4dd0347c..5a491377 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -15,7 +15,9 @@ ;; ;;; Code: -(require 'cl) + +(eval-when-compile + (require 'cl)) (eval-when (compile) (require 'span) -- cgit v1.2.3