diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-10-04 08:58:47 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-10-04 08:58:47 +0200 |
| commit | 32009294d2de3e197c8d4dc950559ff948ea2fc9 (patch) | |
| tree | ac297be7b6e218ee8ae21367c94c8b65297fe2ca /tools/200_stats_tables_h48 | |
| parent | 757a732336ee5f0f4b0ba44ac138210c2c1ef805 (diff) | |
| download | nissy-core-32009294d2de3e197c8d4dc950559ff948ea2fc9.tar.gz nissy-core-32009294d2de3e197c8d4dc950559ff948ea2fc9.zip | |
Clean up tool output
Diffstat (limited to 'tools/200_stats_tables_h48')
| -rw-r--r-- | tools/200_stats_tables_h48/stats_tables_h48.c | 2 |
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) { | |||
| 92 | if (getdata(solver, options, &buf, filename) != 0) | 92 | if (getdata(solver, options, &buf, filename) != 0) |
| 93 | return 1; | 93 | return 1; |
| 94 | 94 | ||
| 95 | timerun(run, "h48 table stats"); | 95 | timerun(run); |
| 96 | 96 | ||
| 97 | free(buf); | 97 | free(buf); |
| 98 | return 0; | 98 | return 0; |