diff options
| author | David Aspinall | 1998-12-15 14:24:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-15 14:24:57 +0000 |
| commit | fa67b38e5ae23f3353aa3591422c479e05ba6b99 (patch) | |
| tree | 7f9c7ac616353b2c02e7c49155fe39f0c817db95 /generic/proof-script.el | |
| parent | b27acfc00264f2ca9265dda4c24005c9cd1ce708 (diff) | |
Removed bogus duplicate call of proof-mode-hook at end of proof-config-done.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 7 |
1 files changed, 1 insertions, 6 deletions
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) |