diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/.gitignore b/Test/VeriFast/tasks/vTaskSwitchContext/.gitignore
index 502dc918a..79f5c6bfb 100644
--- a/Test/VeriFast/tasks/vTaskSwitchContext/.gitignore
+++ b/Test/VeriFast/tasks/vTaskSwitchContext/.gitignore
@@ -2,4 +2,7 @@
 pp_log
 
 # Ignore preprocessing output
-preprocessed_files/*
+preprocessed_files
+
+# Ignore generated stats
+stats
\ No newline at end of file