diff options
Diffstat (limited to 'tools/000_gendata')
| -rw-r--r-- | tools/000_gendata/gendata.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c index 51c2f47..f2ac1a0 100644 --- a/tools/000_gendata/gendata.c +++ b/tools/000_gendata/gendata.c | |||
| @@ -8,7 +8,7 @@ static void | |||
| 8 | run(void) { | 8 | run(void) { |
| 9 | int64_t size; | 9 | int64_t size; |
| 10 | bool consistent, expected; | 10 | bool consistent, expected; |
| 11 | char *buf, filename[1024], dataid[NISSY_DATAID_SIZE]; | 11 | char *buf, filename[1024], dataid[NISSY_SIZE_DATAID]; |
| 12 | 12 | ||
| 13 | size = generatetable(solver, &buf, dataid); | 13 | size = generatetable(solver, &buf, dataid); |
| 14 | switch (size) { | 14 | switch (size) { |
