diff --git a/src/limitedmap.h b/src/limitedmap.h index c330611865..c719c88f99 100644 --- a/src/limitedmap.h +++ b/src/limitedmap.h @@ -54,14 +54,6 @@ public: if (ret.second) prune(); } - void insert_or_update(const value_type& x) - { - std::pair ret = map.insert(x); - if (ret.second) - prune(); - else - ret.first->second = x.second; - } void erase(const key_type& k) { map.erase(k);