From 259fb147af8d4e9cc0bba7cc23c726dc1f84618e Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Sat, 31 Dec 2022 10:06:35 -0500
Subject: [PATCH] Improved readability of printouts in rewrite script.

---
 .../vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh     | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh b/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh
index 5c6191f6f..2898a8312 100755
--- a/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh
+++ b/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh
@@ -24,8 +24,9 @@ rewrite()
 {
   FIND_REGEX=$1
   REPLACE_REGEX=$2
-  echo "\tRewrite pattern: \"$FIND_REGEX\" -> \"$REPLACE_REGEX\""
+  echo "Rewrite pattern: \"$FIND_REGEX\" -> \"$REPLACE_REGEX\""
   sed -i "" "s|$FIND_REGEX|$REPLACE_REGEX|g" $SOURCE_FILE
+  echo
 }