From 8fcfb3a33fe053ed2032d58ecc0b5d640c155931 Mon Sep 17 00:00:00 2001 From: enricotenuti Date: Sun, 29 Sep 2024 12:38:43 +0200 Subject: minor changes for PR --- src/nissy.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/nissy.c') diff --git a/src/nissy.c b/src/nissy.c index 56acf25..a2da73d 100644 --- a/src/nissy.c +++ b/src/nissy.c @@ -1,5 +1,6 @@ #include #include +#include #include #include #include @@ -333,7 +334,7 @@ nissy_solve( ret = -1; } else { ret = THREADS > 1 ? - solve_h48_parent(c, minmoves, maxmoves, maxsolutions, data, solutions) : + solve_h48_multithread(c, minmoves, maxmoves, maxsolutions, data, solutions) : solve_h48(c, minmoves, maxmoves, maxsolutions, data, solutions); } } else if (!strcmp(solver, "h48stats")) { -- cgit v1.3