Mixfix declaration gets rewritten as a prefix one

[nkaretnikov]

Agda version 2.4.2.4
VIM - Vi IMproved 7.4

Thanks for making it possible to write Agda in vim! Hitting a bunch of problems trying to follow the screencast tutorial, though. Here's one.

Before:

if_then_else : {A : Set} → Bool → A → A → A
if b then t else e = ?

After hitting ,c b:

if_then_else : {A : Set} → Bool → A → A → A
if_then_else true t e = {!   !}
if_then_else false t e = {!   !}

Note that in the screencast it does work correctly.

[nkaretnikov]

Nevermind, I forgot to insert _ after else. With the underscore it works correctly.