diff options
Diffstat (limited to 'tools/100_checkdata/checkdata.c')
| -rw-r--r-- | tools/100_checkdata/checkdata.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/100_checkdata/checkdata.c b/tools/100_checkdata/checkdata.c index cf42cbe..eefb063 100644 --- a/tools/100_checkdata/checkdata.c +++ b/tools/100_checkdata/checkdata.c | |||
| @@ -6,7 +6,8 @@ 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_SIZE_DATAID]; | 9 | char dataid[NISSY_SIZE_DATAID]; |
| 10 | unsigned char *buf; | ||
| 10 | FILE *f; | 11 | FILE *f; |
| 11 | 12 | ||
| 12 | size = nissy_solverinfo(solver, dataid); | 13 | size = nissy_solverinfo(solver, dataid); |
