From acdc85e0d99e1eb6270b788d4d101f3d93798250 Mon Sep 17 00:00:00 2001
From: Kenneth MacKenzie <kwxm@inf.ed.ac.uk>
Date: Thu, 12 Sep 2024 02:44:51 +0100
Subject: [PATCH] Try yet again (#6472)

---
 plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs | 1 -
 scripts/ci-plutus-benchmark.sh                             | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs b/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs
index 2070400476a..ff2a4164a31 100644
--- a/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs
+++ b/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs
@@ -12,7 +12,6 @@
 {-# LANGUAGE TypeOperators         #-}
 {-# LANGUAGE UndecidableInstances  #-}
 
-
 module PlutusCore.Default.Builtins where
 
 import PlutusPrelude
diff --git a/scripts/ci-plutus-benchmark.sh b/scripts/ci-plutus-benchmark.sh
index 230bfbf038d..a5f96136ab2 100755
--- a/scripts/ci-plutus-benchmark.sh
+++ b/scripts/ci-plutus-benchmark.sh
@@ -83,7 +83,7 @@ EOF
 ./plutus-benchmark/bench-compare-markdown bench-base.log bench-PR.log "${BASE_BRANCH_REF:0:7}" "${PR_BRANCH_REF:0:7}" |
     awk -v hdr1="${BASE_BRANCH_REF:0:7}" -v hdr2="${PR_BRANCH_REF:0:7}" '
      /^[| \t]*$/ {print "</details>"; next}
-     /TOTAL/ {printf ("\n| %s | %s | Change |\n| :------| :------: | :------: | :------: |\n", hdr1, hdr2)}
+     /TOTAL/ {printf ("\n| | %s | %s | Change |\n| :------| :------: | :------: | :------: |\n", hdr1, hdr2)}
      {print}' 
 # ^ This puts </details> after the individual results and puts the TOTAL line in a small table on its own.
 } > bench-compare-result.log