From 6a4e1071f067e11bd49e231be7112585ffb13026 Mon Sep 17 00:00:00 2001
From: Dilip Sequiera
Date: Mon, 10 Nov 1997 15:51:09 +0000
Subject: Put in a workaround for a strange bug in comint which was finding a
 bunch of ^G's from comint-get-old-input for some inexplicable reason.

---
 proof.el | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/proof.el b/proof.el
index 2f02b0d1..86708dcd 100644
--- a/proof.el
+++ b/proof.el
@@ -19,6 +19,10 @@
 ;;   report
 
 ;; $Log$
+;; Revision 1.22  1997/11/10 15:51:09  djs
+;; Put in a workaround for a strange bug in comint which was finding a bunch
+;; of ^G's from comint-get-old-input for some inexplicable reason.
+;;
 ;; Revision 1.21  1997/11/06 16:56:59  hhg
 ;; Parameterize by proof-goal-hyp-fn in pbp-make-top-extent, to handle
 ;; Coq goals which start with text rather than simply ?n
@@ -462,6 +466,7 @@
 
       (save-excursion
 	(set-buffer proof-shell-buffer)
+	(setq comint-get-old-input (function (lambda () "")))
 	(funcall proof-mode-for-shell)
 	(set-buffer proof-pbp-buffer)
 	(funcall proof-mode-for-pbp))
-- 
cgit v1.2.3