add clone method to checked_space_map

This commit is contained in:
Joe Thornber
2011-11-16 13:15:32 +00:00
parent 876dd2427f
commit f503cf7fbe
3 changed files with 18 additions and 2 deletions

View File

@@ -138,6 +138,9 @@ namespace {
return sm_->check(counter);
}
virtual checked_space_map::ptr clone() const {
return checked_space_map::ptr(new sm_recursive(sm_->clone()));
}
void flush_ops() {
op_map::const_iterator it, end = ops_.end();