aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/h48/gendata_h48.h
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/solvers/h48/gendata_h48.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/solvers/h48/gendata_h48.h b/src/solvers/h48/gendata_h48.h
index 0b85e49..be06588 100644
--- a/src/solvers/h48/gendata_h48.h
+++ b/src/solvers/h48/gendata_h48.h
@@ -308,7 +308,7 @@ gendata_h48_runthread(void *arg)
308 wrapthread_mutex_lock(dfsarg->shortcubes_mutex); 308 wrapthread_mutex_lock(dfsarg->shortcubes_mutex);
309 309
310 kv = h48map_nextkvpair(dfsarg->shortcubes, dfsarg->next); 310 kv = h48map_nextkvpair(dfsarg->shortcubes, dfsarg->next);
311 if (*dfsarg->next == dfsarg->shortcubes->capacity) { 311 if (kv.val == MAP_UNSET_VAL) {
312 wrapthread_mutex_unlock(dfsarg->shortcubes_mutex); 312 wrapthread_mutex_unlock(dfsarg->shortcubes_mutex);
313 break; 313 break;
314 } 314 }

Generated with cgit - Back to sebastiano.tronto.net