diff options
Diffstat (limited to 'include/framework/structure/InternalLevel.h')
| -rw-r--r-- | include/framework/structure/InternalLevel.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/include/framework/structure/InternalLevel.h b/include/framework/structure/InternalLevel.h index 37b2b40..7e8e87d 100644 --- a/include/framework/structure/InternalLevel.h +++ b/include/framework/structure/InternalLevel.h @@ -198,8 +198,12 @@ public: void truncate() { m_shards.erase(m_shards.begin(), m_shards.end()); } - void delete_shard(shard_index shard) { + void delete_shard(shard_index shard, bool log_delete=true) { + size_t before = m_shards.size(); + fprintf(stderr, "[D]\tReconstruction deleting shard %ld %p\n", shard, m_shards[shard].first.get()); m_shards.erase(m_shards.begin() + shard); + size_t after = m_shards.size(); + assert( before > after); } void append(std::shared_ptr<ShardType> shard, size_t version=0) { |