From 21457b6611dff0d90f0a83f654ef3186ee1da2b8 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Tue, 11 Oct 2022 15:10:20 -0400
Subject: [PATCH] Added missing include flag in vf start script.

---
 verification/verifast/start-vfide.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verification/verifast/start-vfide.sh b/verification/verifast/start-vfide.sh
index bb1006177..ae21ff525 100755
--- a/verification/verifast/start-vfide.sh
+++ b/verification/verifast/start-vfide.sh
@@ -32,7 +32,7 @@ FREERTOS_SMP_DEMO_DIR="demos/FreeRTOS-SMP-Demos"
 # ->
 # `$GENERATED_HEADERS_DIR/pico_base`
 
-"$VFIDE" "$HEADER_DIR" \
+"$VFIDE" -I "$HEADER_DIR" \
 -I $PROOF_SETUP_DIR -D VERIFAST_PROOF "$TASKS_C" \
 -I $FREERTOS_SMP_DEMO_DIR/FreeRTOS/Source/portable/ThirdParty/GCC/RP2040/include \
 -I $PICO_SDK_PATH/src/common/pico_base/include \