From 4c4c91bf74409c7475471b072fcb07bd10ada4cb Mon Sep 17 00:00:00 2001
From: Luma <markermails@gmail.com>
Date: Tue, 28 Apr 2020 09:25:36 +0900
Subject: [PATCH] fix for embedding bugs

---
 autoload/coqpit.vim               | 2 +-
 autoload/coqpit/CoqTopHandler.vim | 7 -------
 2 files changed, 1 insertion(+), 8 deletions(-)

diff --git a/autoload/coqpit.vim b/autoload/coqpit.vim
index b268a63..b959eb8 100644
--- a/autoload/coqpit.vim
+++ b/autoload/coqpit.vim
@@ -298,5 +298,5 @@ function! coqpit#coq_version() abort
 endfunction
 
 function! coqpit#version()
-  return 'v2.0.0'
+  return '3.0.0'
 endfunction
diff --git a/autoload/coqpit/CoqTopHandler.vim b/autoload/coqpit/CoqTopHandler.vim
index e44a164..327ca09 100644
--- a/autoload/coqpit/CoqTopHandler.vim
+++ b/autoload/coqpit/CoqTopHandler.vim
@@ -120,13 +120,6 @@ function! s:CoqTopHandler._out_cb(msg) abort
   let xml = s:xml.parse('<root>' . a:msg . '</root>')
 
   for value in xml.findAll('value')
-    " NOTE : CoqTop sometimes sends <status> multiple times ....
-    " FIXME : This is dirty hack.
-    if len(value.child) == 1 && value.child[0].name ==# 'option' && has_key(value.child[0].attr, 'val') && value.child[0].attr.val is# "none"
-      exe s:log(printf('<value><option val="none" /></value> is skipped.'))
-      continue
-    endif
-    
     exe s:log(printf("Abandon(%s), waiting->type()(%s)", self.abandon, type(self.waiting)))
 
     exe s:assert('self.abandon >= 0')