[Sphinx] Better error message for coqtop errors

1 files changed, 5 insertions, 2 deletions

diff --git a/doc/tools/coqrst/repl/coqtop.py b/doc/tools/coqrst/repl/coqtop.py
index d0e8d5733e..efb5cb5505 100644
--- a/doc/tools/coqrst/repl/coqtop.py
+++ b/doc/tools/coqrst/repl/coqtop.py
@@ -70,9 +70,12 @@ class CoqTop:
         """
         # Suppress newlines, but not spaces: they are significant in notations
         sentence = re.sub(r"[\r\n]+", " ", sentence).strip()
-        # print("Sending {}".format(sentence))
         self.coqtop.sendline(sentence)
-        output = self.next_prompt()
+        try:
+            output = self.next_prompt()
+        except:
+            print("Error while sending the following sentence to coqtop: {}".format(sentence))
+            raise
         # print("Got {}".format(repr(output)))
         return output