diff options
| author | Jim Fehrle | 2020-06-06 14:18:20 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2020-06-06 14:18:20 -0700 |
| commit | c964091f01af77bb9aff14cb25bc4d8466c5239d (patch) | |
| tree | 0f7359efbdf599201de43a4118240777cfbe7fb7 /doc/tools | |
| parent | 9c26e583668827bff5159e7671c406ace8b2f3ae (diff) | |
Match only a single line as the coqtop prompt
(the previous expression was including some expected output)
Diffstat (limited to 'doc/tools')
| -rw-r--r-- | doc/tools/coqrst/repl/coqtop.py | 2 |
1 files changed, 1 insertions, 1 deletions
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). |