From 45b3277ca4c41a723a90df17518aed7c991743bf Mon Sep 17 00:00:00 2001
From: Thomas Kleymann <da+pg-tms@inf.ed.ac.uk>
Date: Tue, 10 Nov 1998 16:52:09 +0000
Subject: Removed references of proof-shell-noise-regexp

---
 lego/lego.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'lego')

diff --git a/lego/lego.el b/lego/lego.el
index 8821591a..4dcaa46c 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -454,7 +454,6 @@ We assume that module identifiers coincide with file names."
         proof-shell-proof-completed-regexp lego-shell-proof-completed-regexp
         proof-shell-error-regexp lego-error-regexp
 	proof-shell-interrupt-regexp lego-interrupt-regexp
-        proof-shell-noise-regexp "Discharge\\.\\. "
         proof-shell-assumption-regexp lego-id
         proof-shell-goal-regexp lego-goal-regexp
         proof-shell-first-special-char ?\360
-- 
cgit v1.2.3