1 files changed, 2 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index fa9b1c67..7889af6c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -90,7 +90,8 @@ runtime/kvx/i64_udiv.s
 runtime/kvx/i64_udivmod.s
 runtime/kvx/i64_umod.s
 # Test generated data
-/test/clightgen/*.v
+/test/export/clight/*.v
+/test/export/csyntax/*.v
 # Coq caches
 .lia.cache
 .nia.cache