1 files changed, 2 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index b75ea5e7..99facd7e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -74,7 +74,8 @@
 # MacOS metadata
 .DS_Store
 # Test generated data
-/test/clightgen/*.v
+/test/export/clight/*.v
+/test/export/csyntax/*.v
 # Coq caches
 .lia.cache
 .nia.cache