1 files changed, 0 insertions, 1 deletions
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