diff --git a/ion/src/shared/storage.cpp b/ion/src/shared/storage.cpp index da736cc1d..495eef8c6 100644 --- a/ion/src/shared/storage.cpp +++ b/ion/src/shared/storage.cpp @@ -310,6 +310,7 @@ void Storage::destroyRecord(Record record) { if (record == currentRecord) { record_size_t previousRecordSize = sizeOfRecordStarting(p); slideBuffer(p+previousRecordSize, -previousRecordSize); + return; } } }