From 49f0dc1f04c062dafacd858ddc272192c2843257 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Fri, 11 Nov 2022 15:11:44 -0500
Subject: [PATCH] Added preprocessing out dir to .gitignore.

---
 verification/verifast/.gitignore | 4 ++++
 1 file changed, 4 insertions(+)

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/*