diff --git a/.gitignore b/.gitignore
index 15acba4c89d1ecc0829a127be4b9ff7731f950b2..8f49b3374c072debd52e2bc09043ed38dbb78f9b 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