From 56456bc89796b782eddcb3cc785b59401d61f3e0 Mon Sep 17 00:00:00 2001
From: adomani <adomani@gmail.com>
Date: Sat, 18 May 2024 19:59:52 +0200
Subject: [PATCH] remove change

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

diff --git a/scripts/mathlib_stats.sh b/scripts/mathlib_stats.sh
index 149278316470d..ef5343782e77b 100755
--- a/scripts/mathlib_stats.sh
+++ b/scripts/mathlib_stats.sh
@@ -97,8 +97,8 @@ done)"
 #  ' <(echo "${newDeclsTots}") <(echo "${oldDeclsTots}")
 
 declSummary="$(paste -d' ' <(echo "${newDecls}") <(echo "${oldDecls}") <(echo "${plusMinus}") |
-  LC_ALL=en_US.UTF-8 awk 'BEGIN{ print "|Type|New|+-|Change|%\n|:-:|:-:|:-:|:-:|:-:|" }{
-    printf("| %s | %'"'"'d | +%'"'"'d -%'"'"'d | %'"'"'d | %4.2f%% |\n", $1, $2, $5, $6, $4, ($2-$4)*100/$2)
+  LC_ALL=en_US.UTF-8 awk 'BEGIN{ print "|Type|New|+-|%|\n|:-:|:-:|:-:|:-:|" }{
+    printf("| %s | %'"'"'d | +%'"'"'d -%'"'"'d | %4.2f%% |\n", $1, $2, $5, $6, ($2-$4)*100/$2)
   }'
 )"