aboutsummaryrefslogtreecommitdiff
path: root/tools/000_gendata
diff options
context:
space:
mode:
Diffstat (limited to 'tools/000_gendata')
-rw-r--r--tools/000_gendata/gendata.c10
1 files changed, 5 insertions, 5 deletions
diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c
index 9533432..2798862 100644
--- a/tools/000_gendata/gendata.c
+++ b/tools/000_gendata/gendata.c
@@ -18,11 +18,11 @@ run(void) {
18 goto gendata_run_finish; 18 goto gendata_run_finish;
19 default: 19 default:
20 nissy_datainfo(buf, write_stdout); 20 nissy_datainfo(buf, write_stdout);
21 printf("\n"); 21 if (check_distribution(solver, buf)) {
22 printf("Succesfully generated %" PRId64 " bytes. " 22 printf("\n");
23 "See above for details on the tables.\n", size); 23 printf("Generated %" PRId64 " bytes.\n", size);
24 24 writetable(buf, size, filename);
25 writetable(buf, size, filename); 25 }
26 break; 26 break;
27 } 27 }
28 28

Generated with cgit - Back to sebastiano.tronto.net