aboutsummaryrefslogtreecommitdiff
path: root/tools/000_gendata/gendata.c
diff options
context:
space:
mode:
Diffstat (limited to 'tools/000_gendata/gendata.c')
-rw-r--r--tools/000_gendata/gendata.c2
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
8run(void) { 8run(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) {

Generated with cgit - Back to sebastiano.tronto.net