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.c2
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;
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_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);

Generated with cgit - Back to sebastiano.tronto.net