remove change

leanprover-community · May 18, 2024 · 56456bc · 56456bc
1 parent 6516f83
commit 56456bc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)
   }'
 )"