Support proof-shell-interactive-prompt-regexp, ref Trac #430

1 files changed, 2 insertions, 0 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 7e547d68..8ef90c08 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1287,6 +1287,8 @@ This is specific to `coq-mode'."
    "\376\\|\\[Reinterning\\|Warning:\\|TcDebug "
    proof-shell-eager-annotation-start-length 12
 
+   proof-shell-interactive-prompt-regexp "TcDebug "
+
    ;; ****** is added at the end of warnings in emacs mode, this is temporary I
    ;;        want xml like tags, and I want them removed before warning display.
    ;; I want the same for errors -> pgip