From 45b3277ca4c41a723a90df17518aed7c991743bf Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 10 Nov 1998 16:52:09 +0000
Subject: Removed references of proof-shell-noise-regexp

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

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 85431e50..e31b0029 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -401,7 +401,6 @@
         proof-shell-proof-completed-regexp coq-shell-proof-completed-regexp
         proof-shell-error-regexp coq-error-regexp
 	proof-shell-interrupt-regexp coq-interrupt-regexp
-        proof-shell-noise-regexp ""
         proof-shell-assumption-regexp coq-id
         proof-shell-goal-regexp coq-goal-regexp
         proof-shell-first-special-char ?\360
-- 
cgit v1.2.3