From 25451fa26a21c9d88d06e989b3a625f4a997d9ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Constantin=20F=C3=BCrst?= <c@fuersten.info>
Date: Tue, 30 Jan 2024 14:47:33 +0100
Subject: [PATCH] pretty-format the benchmarker script which got mangled from
 editing on vampir

---
 benchmarks/benchmarker.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/benchmarks/benchmarker.sh b/benchmarks/benchmarker.sh
index 055e41a..4a85679 100644
--- a/benchmarks/benchmarker.sh
+++ b/benchmarks/benchmarker.sh
@@ -16,8 +16,8 @@ for json_file in "$json_directory"/*.json; do
     # Check if there are matching files
     if [ -e "$json_file" ]; then
         # Execute the program with the JSON file as parameters
-	bn=$(basename $json_file)
-	name="${bn%.*}"
+        bn=$(basename $json_file)
+        name="${bn%.*}"
         echo "running test ${name} ..."
         "$program_location" "$json_file" "${output_dir}/${name}.json"
     fi