From 290fe12b7039f078808ce13e44ab4a24646acb2e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 09:23:23 +0000
Subject: require proof-site also at startup

---
 demoisa/demoisa-easy.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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))
 
-- 
cgit v1.2.3