From 518e5f0c41e58b0844885156d6eb6eecd5ece0fc Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sat, 27 May 2023 16:22:20 +0200
Subject: [PATCH] fix refine command

---
 ftplugin/idris2.vim | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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("<cword>")
+  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