aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/h48/solve.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/solvers/h48/solve.h')
-rw-r--r--src/solvers/h48/solve.h6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h
index 15ac6ea..19aaf79 100644
--- a/src/solvers/h48/solve.h
+++ b/src/solvers/h48/solve.h
@@ -638,7 +638,7 @@ solve_h48(
638 638
639 } 639 }
640 640
641 wrapthread_mutex_init(&solutions_mutex, NULL); 641 wrapthread_mutex_init(&solutions_mutex);
642 642
643 mtarg = (dfsarg_solve_h48_maketasks_t) { 643 mtarg = (dfsarg_solve_h48_maketasks_t) {
644 .cube = oc.cube, 644 .cube = oc.cube,
@@ -689,7 +689,7 @@ solve_h48(
689 arg[i].target_depth = d; 689 arg[i].target_depth = d;
690 arg[i].thread_done = false; 690 arg[i].thread_done = false;
691 wrapthread_create( 691 wrapthread_create(
692 &thread[i], NULL, solve_h48_runthread, &arg[i]); 692 &thread[i], solve_h48_runthread, &arg[i]);
693 } 693 }
694 694
695 /* Log solutions and handle pause / stop / resume */ 695 /* Log solutions and handle pause / stop / resume */
@@ -718,7 +718,7 @@ solve_h48(
718 } 718 }
719 719
720 for (i = 0; i < threads; i++) 720 for (i = 0; i < threads; i++)
721 wrapthread_join(thread[i], NULL); 721 wrapthread_join(thread[i]);
722 722
723 solve_h48_log_solutions(&sollist, lastused); 723 solve_h48_log_solutions(&sollist, lastused);
724 lastused = sollist.used; 724 lastused = sollist.used;

Generated with cgit - Back to sebastiano.tronto.net