diff --git a/verification/verifast/.gitignore b/verification/verifast/.gitignore
index 1c0ce748b..a1e1cfa0e 100644
--- a/verification/verifast/.gitignore
+++ b/verification/verifast/.gitignore
@@ -1 +1,5 @@
+# Ignore log files
 custom_build_scripts_RP2040/log_preprocessed_files
+
+# Ignore preprocessing output
+preprocessed_files/*