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