Fix issue #61 by suppressing Coqtop stderr output

the-lambda-church / coquille

Interactive theorem proving with Coq in vim.

ISC License

186 stars 68 forks source link

Fix issue #61 by suppressing Coqtop stderr output #62

Open felixbauckholt opened 7 years ago

felixbauckholt commented 7 years ago

This should fix issue #61.

I tried doing what the code for Windows NT did and redirect the stderr output to stdout, but that freezes my Vim process for some reason. So I just send it to a pipe that is never read from.