From 849a0926956acc866dae69334f9d8e319fa16663 Mon Sep 17 00:00:00 2001
From: Roland Coeurjoly <rolandcoeurjoly@gmail.com>
Date: Fri, 16 Aug 2024 01:45:36 +0200
Subject: [PATCH] No .il files to ignore

---
 tests/verific/.gitignore | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/tests/verific/.gitignore b/tests/verific/.gitignore
index 8b09bd70c31..d3ecd2beaa6 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
+/run-test.mk
\ No newline at end of file