diff options
| -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)) |