diff --git a/tests/verific/.gitignore b/tests/verific/.gitignore
index 8b09bd70c31..b48f808a1e3 100644
--- a/tests/verific/.gitignore
+++ b/tests/verific/.gitignore
@@ -1,4 +1,3 @@
 /*.log
 /*.out
 /run-test.mk
-/*.il
\ No newline at end of file