From ca40a36bdf0ef70b564b6ee8da8de86e9bebffe4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 3 Sep 1998 11:26:57 +0000
Subject: Dead code.

---
 coq.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'coq.el')

diff --git a/coq.el b/coq.el
index 5f80207d..4c198485 100644
--- a/coq.el
+++ b/coq.el
@@ -3,6 +3,9 @@
 ;; Author: Healfdene Goguen and Thomas Kleymann
 
 ;; $Log$
+;; Revision 2.2  1998/09/03 11:26:55  da
+;; Dead code.
+;;
 ;; Revision 2.1  1998/09/03 11:07:07  da
 ;; Removed dead code
 ;;
@@ -485,7 +488,6 @@
 
 ;; hooks and callbacks
 
-  (add-hook 'proof-shell-exit-hook 'coq-zap-line-width nil t)
   (add-hook 'proof-pre-shell-start-hook 'coq-pre-shell-start nil t))
 
 (defun coq-shell-mode-config ()
-- 
cgit v1.2.3