aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/coord
diff options
context:
space:
mode:
Diffstat (limited to 'src/solvers/coord')
-rw-r--r--src/solvers/coord/gendata.h4
-rw-r--r--src/solvers/coord/solve.h8
2 files changed, 2 insertions, 10 deletions
diff --git a/src/solvers/coord/gendata.h b/src/solvers/coord/gendata.h
index b43c56d..7118b08 100644
--- a/src/solvers/coord/gendata.h
+++ b/src/solvers/coord/gendata.h
@@ -57,7 +57,7 @@ gendata_coord(const coord_t coord[static 1], unsigned char *buf)
57 .type = TABLETYPE_SPECIAL, 57 .type = TABLETYPE_SPECIAL,
58 .infosize = INFOSIZE, 58 .infosize = INFOSIZE,
59 .fullsize = INFOSIZE + coord_dsize, 59 .fullsize = INFOSIZE + coord_dsize,
60 .hash = 0, /* TODO */ 60 .hash = 0,
61 .next = INFOSIZE + coord_dsize, 61 .next = INFOSIZE + coord_dsize,
62 62
63 /* Unknown / non-applicable values */ 63 /* Unknown / non-applicable values */
@@ -105,7 +105,7 @@ genptable_coord(
105 .type = TABLETYPE_PRUNING, 105 .type = TABLETYPE_PRUNING,
106 .infosize = INFOSIZE, 106 .infosize = INFOSIZE,
107 .fullsize = INFOSIZE + tablesize, 107 .fullsize = INFOSIZE + tablesize,
108 .hash = 0, /* TODO */ 108 .hash = 0,
109 .entries = coord->max, 109 .entries = coord->max,
110 .classes = 0, 110 .classes = 0,
111 .bits = 4, 111 .bits = 4,
diff --git a/src/solvers/coord/solve.h b/src/solvers/coord/solve.h
index a2f89db..75ec200 100644
--- a/src/solvers/coord/solve.h
+++ b/src/solvers/coord/solve.h
@@ -312,14 +312,6 @@ solve_coord(
312 .solution_settings = &solution_settings, 312 .solution_settings = &solution_settings,
313 .solution_list = &solution_list, 313 .solution_list = &solution_list,
314 .nissflag = nissflag, 314 .nissflag = nissflag,
315
316 /*
317 Since no move has been done yet, this field should be
318 neither true nor false; using its value now is logically
319 undefined behavior.
320 TODO: find a more elegant solution
321 */
322 .lastisnormal = true,
323 }; 315 };
324 316
325 if (coord->coord(c, coord_data) == 0) { 317 if (coord->coord(c, coord_data) == 0) {

Generated with cgit - Back to sebastiano.tronto.net