Merge pull request #9 from LumaKernel/dev

Fix for embedding bugs
LumaKernel · Apr 28, 2020 · 314b861 · 314b861
2 parents 3cb4101 + 4c4c91b
commit 314b861
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 8 deletions.
diff --git 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
@@ -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')