From ad15ea34f21f93d14919b049c49406438e3645bb Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 20 May 2022 15:40:45 +0200
Subject: [PATCH] [instantiate] fix gitignore

---
 src/plugins/instantiate/.gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/instantiate/.gitignore b/src/plugins/instantiate/.gitignore
index b18adc61b4f..cf191ced799 100644
--- a/src/plugins/instantiate/.gitignore
+++ b/src/plugins/instantiate/.gitignore
@@ -1,4 +1,4 @@
 /configure
 /Makefile
-/tests/**/dune
+/tests/*/oracle/dune
 /tests/*/result
-- 
GitLab