diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file.sh b/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file.sh
index aa5e310f7..dd6d602b4 100755
--- a/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file.sh
+++ b/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file.sh
@@ -73,7 +73,7 @@ BUILD_FLAGS=(
     -DmainRUN_FREE_RTOS_ON_CORE=1
 )
 
-delcare -a PICO_INCLUDE_FLAGS
+declare -a PICO_INCLUDE_FLAGS
 PICO_INCLUDE_FLAGS=(
     -I"$PICO_SDK_DIR/src/boards/include"
     -I"$PICO_SDK_DIR/src/common/pico_base/include"