From fa67b38e5ae23f3353aa3591422c479e05ba6b99 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Dec 1998 14:24:57 +0000
Subject: Removed bogus duplicate call of proof-mode-hook at end of
 proof-config-done.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 13a441c4..56c8961e 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1829,12 +1829,7 @@ finish setup which depends on specific proof assistant configuration."
   ;; Offer to save script mode buffers which have no files,
   ;; in case Emacs is exited accidently.
   (or (buffer-file-name)
-      (setq buffer-offer-save t))
-
-  ;; FIXME da: does proof mode hook call belong here?
-  ;; Moreover, isn't it already called by
-  ;; (define-derived-mode proof-mode ...) ???
-  (run-hooks 'proof-mode-hook))
+      (setq buffer-offer-save t)))
 
 
 (provide 'proof-script)
-- 
cgit v1.2.3