From 189b7a213b9dd9366dda6288e9a0a0e64bf06e49 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 16:11:06 +0000
Subject: Removed eval-when-compile around define-derived-mode, it don't work.

---
 generic/proof-script.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 089ddf42..5e13be05 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1372,7 +1372,6 @@ sent to the assistant."
 ;; configuring for new assistants.
 
 ;;;###autoload
-(eval-when-compile			; to initialise variables
 (define-derived-mode proof-mode fundamental-mode 
   proof-mode-name
   "Proof General major mode class for proof scripts.
@@ -1387,7 +1386,7 @@ sent to the assistant."
   (add-hook 'kill-buffer-hook
 	    (lambda ()
 	      (setq proof-script-buffer-list
-		    (remove (current-buffer) proof-script-buffer-list))))))
+		    (remove (current-buffer) proof-script-buffer-list)))))
 
 ;; Fixed definitions in proof-mode-map, which don't depend on
 ;; prover configuration.
-- 
cgit v1.2.3