From c964091f01af77bb9aff14cb25bc4d8466c5239d Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sat, 6 Jun 2020 14:18:20 -0700
Subject: Match only a single line as the coqtop prompt (the previous
 expression was including some expected output)

---
 doc/tools/coqrst/repl/coqtop.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/tools/coqrst/repl/coqtop.py b/doc/tools/coqrst/repl/coqtop.py
index c306961550..3021594183 100644
--- a/doc/tools/coqrst/repl/coqtop.py
+++ b/doc/tools/coqrst/repl/coqtop.py
@@ -39,7 +39,7 @@ class CoqTop:
     confuse it).
     """
 
-    COQTOP_PROMPT = re.compile("\r\n[^< ]+ < ")
+    COQTOP_PROMPT = re.compile("\r\n[^< \r\n]+ < ")
 
     def __init__(self, coqtop_bin=None, color=False, args=None) -> str:
         """Configure a coqtop instance (but don't start it yet).
-- 
cgit v1.2.3