From 17460bf8b246b7f26b390ca67145c11ee230de9d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Sep 2009 16:42:57 +0000
Subject: Remove proof-shell-prompt-pattern, no longer used.

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

(limited to 'coq')

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
-- 
cgit v1.2.3