Fix answer message parsing

Fixes the-lambda-church#51
Larhard · May 16, 2019 · 964e12a · 964e12a
1 parent ad72147
commit 964e12a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/autoload/coqtop.py b/autoload/coqtop.py
@@ -175,7 +175,9 @@ def get_answer():
                         shouldWait = False
                         valueNode = c
                     if c.tag == 'message':
-                        messageNode = c[1]
+                        for m in c:
+                            if m.tag not in ("message_level", "option"):
+                                messageNode = m
                 if shouldWait:
                     continue
                 else: