aboutsummaryrefslogtreecommitdiff
path: root/tools/100_checkdata/checkdata.c
diff options
context:
space:
mode:
Diffstat (limited to 'tools/100_checkdata/checkdata.c')
-rw-r--r--tools/100_checkdata/checkdata.c3
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;
6static void 6static void
7run(void) { 7run(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);

Generated with cgit - Back to sebastiano.tronto.net