diff options
Diffstat (limited to 'src/solvers/h48/solve.h')
| -rw-r--r-- | src/solvers/h48/solve.h | 6 |
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; |
