diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim index 23276da..ed5287a 100644 --- a/ftplugin/idris2.vim +++ b/ftplugin/idris2.vim @@ -190,10 +190,10 @@ function! IdrisRefine() let view = winsaveview() w let cline = line(".") - let word = expand("") + let word = s:currentQueryObject() let name = input ("Name: ") - let result = s:IdrisCommand(":ref!", cline, word, name) + let result = s:IdrisCommand(":refine!", cline, word, name) if (! (result is "")) call IWrite(result) else