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/isabelle-system.el | |
parent | 280ba03f4778c35f74b8f35de981b807e8ccae1f (diff) |
Require cl only during compile
Diffstat (limited to 'isar/isabelle-system.el')
-rw-r--r-- | isar/isabelle-system.el | 3 |
1 files changed, 2 insertions, 1 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) |