From 2f0abe988ffe7e5e59602a18612b0c1813f13ad4 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 24 Feb 2022 16:22:47 +0100
Subject: [PATCH] [tests] Fix gitignore

---
 .gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 15acba4c89d..8f49b3374c0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -44,8 +44,8 @@ autom4te.cache
 /tests/**/result*/
 /tests/**/oracle*/dune
 
-/src/plugin/*/tests/**/result*/
-/src/plugin/*/tests/**/oracle*/dune
+/src/plugins/*/tests/**/result*/
+/src/plugins/*/tests/**/oracle*/dune
 
 /tests/crowbar/*constfold
 /tests/crowbar/integer_bb_pretty
-- 
GitLab