mirror of
https://github.com/PrimeDecomp/prime.git
synced 2025-12-12 09:26:07 +00:00
@@ -32,6 +32,7 @@ public:
|
||||
|
||||
void erase(iterator it) { inner.erase(it); }
|
||||
int size() const { return inner.size(); }
|
||||
|
||||
private:
|
||||
rep_type inner;
|
||||
};
|
||||
|
||||
Reference in New Issue
Block a user