diff options
Diffstat (limited to 'tools/100_checkdata/checkdata.c')
| -rw-r--r-- | tools/100_checkdata/checkdata.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/100_checkdata/checkdata.c b/tools/100_checkdata/checkdata.c index 8bc308c..5b3db2c 100644 --- a/tools/100_checkdata/checkdata.c +++ b/tools/100_checkdata/checkdata.c | |||
| @@ -6,7 +6,7 @@ char *solver, *filename; | |||
| 6 | static void | 6 | static void |
| 7 | run(void) { | 7 | run(void) { |
| 8 | long long int size, result; | 8 | long long int size, result; |
| 9 | char *buf, dataid[NISSY_DATAID_SIZE]; | 9 | char *buf, dataid[NISSY_SIZE_DATAID]; |
| 10 | FILE *f; | 10 | FILE *f; |
| 11 | 11 | ||
| 12 | size = nissy_solverinfo(solver, dataid); | 12 | size = nissy_solverinfo(solver, dataid); |
