From 964e12a314441cb75a7bb10e9c7dbd46d8f71f05 Mon Sep 17 00:00:00 2001
From: Bartlomiej Puget <larhard@gmail.com>
Date: Thu, 16 May 2019 18:04:01 +0200
Subject: [PATCH] Fix answer message parsing

Fixes #51
---
 autoload/coqtop.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/autoload/coqtop.py b/autoload/coqtop.py
index 3a181d0..04a16ab 100644
--- 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: