fix for Coq(issue:can not use Function) #MomongaVim