replace push_back by emplace_back where possible

This commit is contained in:
Konstantinos Margaritis
2021-03-26 12:39:40 +02:00
parent 9f7088a9e0
commit 556206f138
92 changed files with 535 additions and 535 deletions

View File

@@ -343,7 +343,7 @@ public:
return {it->second, false};
}
u32 id = verify_u32(lits.size());
lits.push_back(lit);
lits.emplace_back(lit);
lits_index.emplace(lit, id);
return {id, true};
}