Fix version check for Cmd_give

derekelkins / agda-vim

Agda interaction in vim

BSD 2-Clause "Simplified" License

130 stars 47 forks source link

Fix version check for Cmd_give #29

Closed louisswarren closed 7 years ago

louisswarren commented 7 years ago

The new behaviour requires the WithoutForce argument.

derekelkins commented 7 years ago

Thanks. I was afraid of this since it was really awkward to downgrade Agda, so I wasn't able to test the old version. This is what I get for copy-pasting.