From 32009294d2de3e197c8d4dc950559ff948ea2fc9 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Fri, 4 Oct 2024 08:58:47 +0200
Subject: Clean up tool output

---
 tools/200_stats_tables_h48/stats_tables_h48.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/200_stats_tables_h48')

diff --git a/tools/200_stats_tables_h48/stats_tables_h48.c b/tools/200_stats_tables_h48/stats_tables_h48.c
index adac8fa..ea5fa5a 100644
--- a/tools/200_stats_tables_h48/stats_tables_h48.c
+++ b/tools/200_stats_tables_h48/stats_tables_h48.c
@@ -92,7 +92,7 @@ int main(void) {
 	if (getdata(solver, options, &buf, filename) != 0)
 		return 1;
 
-	timerun(run, "h48 table stats");
+	timerun(run);
 
 	free(buf);
 	return 0;
-- 
cgit v1.3