aboutsummaryrefslogtreecommitdiff
path: root/tools/000_gendata/gendata.c
diff options
context:
space:
mode:
Diffstat (limited to 'tools/000_gendata/gendata.c')
-rw-r--r--tools/000_gendata/gendata.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c
index f2da890..a289925 100644
--- a/tools/000_gendata/gendata.c
+++ b/tools/000_gendata/gendata.c
@@ -21,7 +21,8 @@ run(void) {
21 sprintf(filename, "tables/%s", dataid); 21 sprintf(filename, "tables/%s", dataid);
22 writetable(buf, size, filename); 22 writetable(buf, size, filename);
23 } else { 23 } else {
24 printf("Error: table generated incorrectly!\n"); 24 printf("Error: table for %s generated incorrectly!\n",
25 solver);
25 } 26 }
26 break; 27 break;
27 } 28 }

Generated with cgit - Back to sebastiano.tronto.net