avoid taking the position twice

This commit is contained in:
Michele Caini
2019-09-02 16:23:11 +02:00
parent 50fc83d478
commit e37f84a227

View File

@@ -843,7 +843,7 @@ public:
const auto pos = cpool->index(curr);
if(pos != next) {
cpool->swap(next, cpool->index(curr));
cpool->swap(next, pos);
}
}(std::get<pool_type<Other> *>(pools)), ...);
}