diff options
Diffstat (limited to 'generic/proof-tree.el')
| -rw-r--r-- | generic/proof-tree.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-tree.el b/generic/proof-tree.el index f0894656..438c035e 100644 --- a/generic/proof-tree.el +++ b/generic/proof-tree.el @@ -88,7 +88,7 @@ (require 'cl) -(eval-when (compile) +(eval-when-compile (require 'proof-shell)) |