diff --git a/ConflictSet.cpp b/ConflictSet.cpp index bbf7ea0..ca0ae82 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -3706,7 +3706,7 @@ PRESERVE_NONE void left_side_iter(Job *job, Context *context) { MUSTTAIL return complete(job, context); } - auto [c, maxV] = getChildAndMaxVersion(job->n, job->remaining[0]); + auto [c, maxV] = getChildAndMaxVersion(n, job->remaining[0]); job->maxV = maxV; Node *child = c; if (child == nullptr) { @@ -3848,7 +3848,7 @@ PRESERVE_NONE void right_side_iter(Job *job, Context *context) { MUSTTAIL return complete(job, context); } - auto cAndV = getChildAndMaxVersion(job->n, job->remaining[0]); + auto cAndV = getChildAndMaxVersion(n, job->remaining[0]); Node *child = cAndV.child; if (child == nullptr) { auto c = getChildGeq(n, job->remaining[0]);