[ConstraintSystem] NFC: Add hasFix() to DisjunctionChoice

This commit is contained in:
Pavel Yaskevich
2019-03-13 20:42:31 -07:00
parent dee8d7b2ed
commit bdf21be00c
2 changed files with 6 additions and 3 deletions

View File

@@ -2525,10 +2525,9 @@ void ConstraintSystem::generateConstraints(
}
for (auto index : indices(choices)) {
const auto &choice = choices[index];
if (favoredIndex && (*favoredIndex == index))
continue;
recordChoice(constraints, index, choice);
recordChoice(constraints, index, choices[index]);
}
}