From d1a333b1861af2a8e9d56ba9f6a7457d569e17fe Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Sat, 10 Dec 2022 18:03:34 -0500
Subject: [PATCH] Deleted deprecated variables.

---
 .../custom_build_scripts_RP2040/preprocess_file.sh   | 12 ------------
 1 file changed, 12 deletions(-)

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 1ba26a2f9..8dadc0d67 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
@@ -14,18 +14,6 @@ VF_DIR="$6"
 . "`pp_script_dir $REPO_BASE_DIR`/pp_flags.sh" "$REPO_BASE_DIR" "$VF_PROOF_BASE_DIR" "$VF_DIR"
 
 
-
-VF_PROOF_MOD_SRC_DIR=`vf_proof_mod_src_dir $REPO_BASE_DIR`
-VF_PROOF_MOD_HEADER_DIR=`vf_proof_mod_header_dir $REPO_BASE_DIR`
-
-
-PROOF_SETUP_DIR=`vf_proof_setup_dir $REPO_BASE_DIR`
-PROOF_FILES_DIR=`vf_proof_dir $REPO_BASE_DIR`
-PICO_SDK_DIR=`pico_sdk_dir $REPO_BASE_DIR`
-SMP_DEMO_DIR=`smp_demo_dir $REPO_BASE_DIR`
-
-
-
 # Flags to SKIP expensive proofs:
 # - VERIFAST_SKIP_BITVECTOR_PROOF__STACK_ALIGNMENT