From 2395267e6ae9691e8620eeff16969f88ea49b9af Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Tue, 13 Dec 2022 08:48:41 -0500
Subject: [PATCH] Renamed vfide startup script.

---
 .../{start-vfide--preprocessed.sh => start-vfide.sh}              | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename Test/VeriFast/tasks/vTaskSwitchContext/{start-vfide--preprocessed.sh => start-vfide.sh} (100%)

diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/start-vfide--preprocessed.sh b/Test/VeriFast/tasks/vTaskSwitchContext/start-vfide.sh
similarity index 100%
rename from Test/VeriFast/tasks/vTaskSwitchContext/start-vfide--preprocessed.sh
rename to Test/VeriFast/tasks/vTaskSwitchContext/start-vfide.sh