From 877e061b1338b6d4bb462e1545b2eaa55eb3bd5d Mon Sep 17 00:00:00 2001
From: Mizev Andrew <150728785+carpalsgrabby@users.noreply.github.com>
Date: Tue, 25 Nov 2025 09:55:41 +0100
Subject: [PATCH] Include style & metric in header line

---
 choose_best_layout.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/choose_best_layout.py b/choose_best_layout.py
index 8ac4dc2..bcefc94 100644
--- a/choose_best_layout.py
+++ b/choose_best_layout.py
@@ -134,10 +134,14 @@ def main() -> None:
     )
 
     # Print table
+        print(
+        f"# leaves={args.leaves} style={args.style} metric={args.metric}"
+    )
     header = (
         f"{'FANOUT':>6}  {'HEIGHT':>6}  {'NODES':>10}  "
         f"{'BRANCH':>8}  {'PROOF BYTES':>12}  {'TOTAL COMM BYTES':>16}  {'METRIC':>12}"
     )
+
     print(header)
     print("-" * len(header))