From 6b8e2c8d3ea48ae8f63dd9bdf5c7f30c6b4acf9d Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Mon, 3 Jan 2022 15:09:55 +0100
Subject: [PATCH] =?UTF-8?q?else=20if=20=E2=86=92=20elseif?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim
index f215eba..e3de7d1 100644
--- a/ftplugin/idris2.vim
+++ b/ftplugin/idris2.vim
@@ -99,10 +99,8 @@ function! IdrisReload(q)
   let tc = system("idris2 --no-color --find-ipkg " . shellescape(file) . " --client ''")
   if (! (tc is ""))
     call IWrite(tc)
-  else
-    if (a:q==0)
-       call IWrite("Successfully reloaded " . file)
-    endif
+  elseif (a:q==0)
+    call IWrite("Successfully reloaded " . file)
   endif
   return tc
 endfunction