Commit e3afb5d9 authored by Waqar Ahmed's avatar Waqar Ahmed Committed by Christoph Cullmann
Browse files

Use erase instead of remove

parent 09529746
......@@ -265,7 +265,7 @@ private:
auto it = ranges.find(doc);
if (it != ranges.end()) {
delete *it;
ranges.remove(doc);
ranges.erase(it);
}
}
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment