1 files changed, 1 insertions, 1 deletions

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;