From 8a61f97ff6e90234f16ee0b10108a485ef8ec8ec Mon Sep 17 00:00:00 2001
From: Kamil Shakirov <kamils80@gmail.com>
Date: Fri, 22 May 2020 11:33:23 +0600
Subject: [PATCH] Update .gitignore

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 1798e6b..a79a055 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,7 +5,7 @@
 
 *.dSYM
 
-/idris2
+/idris2boot
 /runtests
 
 /dist/idris2.c