From 98f2e463287e3562dc7b7126e062919a8604ca4a Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel
Date: Sat, 25 Feb 2017 19:35:35 -0500
Subject: Remove compile-time calls to proof-ready-for-assistant

Compilation used to run in a separate Emacs process for each file, but that's not
what happens when installing PG with package.el.
---
 obsolete/demoisa/demoisa-easy.el | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'obsolete')

diff --git a/obsolete/demoisa/demoisa-easy.el b/obsolete/demoisa/demoisa-easy.el
index f2e84837..b6e0e67d 100644
--- a/obsolete/demoisa/demoisa-easy.el
+++ b/obsolete/demoisa/demoisa-easy.el
@@ -25,9 +25,8 @@
 ;; To test this file you must rename it demoisa.el.
 ;;
 
-(eval-and-compile
-  (require 'proof-site)			; compilation for demoisa
-  (proof-ready-for-assistant 'demoisa))
+(require 'proof-site)
+(proof-ready-for-assistant 'demoisa)
 
 (require 'proof)
 (require 'proof-easy-config)		; easy configure mechanism
-- 
cgit v1.2.3