diff options
Diffstat (limited to 'tools/000_gendata')
| -rw-r--r-- | tools/000_gendata/gendata.c | 3 |
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 | } |
