diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isabelle-system.el | 3 | ||||
| -rw-r--r-- | isar/isar.el | 4 |
2 files changed, 5 insertions, 2 deletions
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) |