diff --git a/.gitignore b/.gitignore
index ebdbc04eb..e7e1cb0e9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,7 @@
 *.md.lean
 *.olean
 *.clean
+*.ilean
 *.d
 a.out
 build