search

whonore / Coqtail

Interactive Coq Proofs in Vim
MIT License
271 stars 35 forks source link

Coqtail doesn't recognize the option `-arg "-w all"` #340

Closed Halbaroth closed 6 months ago

Halbaroth commented 7 months ago

My _CoqProject file contains the line:

-arg "-w all"

but I got:

Failed to launch Coq.
Unknown option -w all

while starting Coqtail.

My version of neovim is v0.9.5 and I use Coqtail v1.7.1.

Notice that I can replace the line by 

-arg -w -arg all