Remove proof-shell-prompt-pattern, no longer used.

1 files changed, 0 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index f6b2e67f..a7048ced 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -979,7 +979,6 @@ To be used in `proof-shell-classify-output-system-specific'."
 
 (defun coq-shell-mode-config ()
   (setq 
-   proof-shell-prompt-pattern coq-shell-prompt-pattern
    proof-shell-cd-cmd coq-shell-cd
    proof-shell-filename-escapes '(("\\\\" . "\\\\") ("\""   . "\\\""))
    proof-shell-abort-goal-regexp coq-shell-abort-goal-regexp