chore: Drop unused unordered_limitedmap::insert_or_update()

This commit is contained in:
UdjinM6 2023-07-05 21:27:50 +03:00
parent 0cf9410d47
commit e087a7881a

View File

@ -54,14 +54,6 @@ public:
if (ret.second) if (ret.second)
prune(); prune();
} }
void insert_or_update(const value_type& x)
{
std::pair<iterator, bool> ret = map.insert(x);
if (ret.second)
prune();
else
ret.first->second = x.second;
}
void erase(const key_type& k) void erase(const key_type& k)
{ {
map.erase(k); map.erase(k);