aboutsummaryrefslogtreecommitdiff
path: root/src/solvers
diff options
context:
space:
mode:
Diffstat (limited to 'src/solvers')
-rw-r--r--src/solvers/solutions.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/solvers/solutions.h b/src/solvers/solutions.h
index f1f0c58..beedc64 100644
--- a/src/solvers/solutions.h
+++ b/src/solvers/solutions.h
@@ -14,7 +14,7 @@ STATIC bool appendinverse(
14STATIC void appendsolution_dfs(const solution_moves_t [NON_NULL], size_t, 14STATIC void appendsolution_dfs(const solution_moves_t [NON_NULL], size_t,
15 const uint64_t *, size_t, uint8_t *, const solution_settings_t [NON_NULL], 15 const uint64_t *, size_t, uint8_t *, const solution_settings_t [NON_NULL],
16 solution_list_t [NON_NULL], 16 solution_list_t [NON_NULL],
17 solution_moves_t [static NTRANS * SOLUTION_MAXLEN], int64_t [NON_NULL]); 17 solution_moves_t [SIZE(NTRANS * SOLUTION_MAXLEN)], int64_t [NON_NULL]);
18STATIC int64_t appendsolution(const solution_moves_t [NON_NULL], 18STATIC int64_t appendsolution(const solution_moves_t [NON_NULL],
19 size_t, const uint64_t *, const solution_settings_t [NON_NULL], 19 size_t, const uint64_t *, const solution_settings_t [NON_NULL],
20 solution_list_t [NON_NULL]); 20 solution_list_t [NON_NULL]);
@@ -179,7 +179,7 @@ appendsolution_dfs(
179 uint8_t *tt, 179 uint8_t *tt,
180 const solution_settings_t settings[NON_NULL], 180 const solution_settings_t settings[NON_NULL],
181 solution_list_t list[NON_NULL], 181 solution_list_t list[NON_NULL],
182 solution_moves_t tsol[static NTRANS * SOLUTION_MAXLEN], 182 solution_moves_t tsol[SIZE(NTRANS * SOLUTION_MAXLEN)],
183 int64_t r[NON_NULL] 183 int64_t r[NON_NULL]
184) 184)
185{ 185{

Generated with cgit - Back to sebastiano.tronto.net