diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-10-17 09:25:36 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-10-17 09:25:36 +0000 |
| commit | f655267e173c250351f6febf0594ffb168b29b9f (patch) | |
| tree | d74bc13f7aca5072ead8846b0f509ebd4bc8ce45 /isar | |
| parent | 280ba03f4778c35f74b8f35de981b807e8ccae1f (diff) | |
Require cl only during compile
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) |