remove unneeded/wasteful loop
parent
687d05405a
commit
3e0904e250
|
|
@ -537,10 +537,8 @@ void ConcurrentBatchFilter::moveSeparator(const FastList<Key>& keysToMove) {
|
||||||
VariableIndex variableIndex(factors_);
|
VariableIndex variableIndex(factors_);
|
||||||
BOOST_FOREACH(Key key, keysToMove) {
|
BOOST_FOREACH(Key key, keysToMove) {
|
||||||
const FastList<size_t>& slots = variableIndex[key];
|
const FastList<size_t>& slots = variableIndex[key];
|
||||||
BOOST_FOREACH(size_t slot, slots) {
|
|
||||||
removedFactorSlots.insert(removedFactorSlots.end(), slots.begin(), slots.end());
|
removedFactorSlots.insert(removedFactorSlots.end(), slots.begin(), slots.end());
|
||||||
}
|
}
|
||||||
}
|
|
||||||
|
|
||||||
// Sort and remove duplicates
|
// Sort and remove duplicates
|
||||||
std::sort(removedFactorSlots.begin(), removedFactorSlots.end());
|
std::sort(removedFactorSlots.begin(), removedFactorSlots.end());
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue