diff options
| author | David Aspinall | 2009-09-07 09:23:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-07 09:23:23 +0000 |
| commit | 290fe12b7039f078808ce13e44ab4a24646acb2e (patch) | |
| tree | bdb561bce2477a86ad1a023dfc32415c9b6ce2a0 | |
| parent | b581ed2eec722cc763f5c2fa5c8bb536532a4796 (diff) | |
require proof-site also at startup
| -rw-r--r-- | demoisa/demoisa-easy.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el index 4baae53d..6631cebd 100644 --- a/demoisa/demoisa-easy.el +++ b/demoisa/demoisa-easy.el @@ -25,7 +25,7 @@ ;; To test this file you must rename it demoisa.el. ;; -(eval-when-compile +(eval-and-compile (require 'proof-site) ; compilation for demoisa (proof-ready-for-assistant 'demoisa)) |