From 34f5f0262b9cd79f879db48f32040d8323436a9e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9a=20Saviot?= <lea.saviot@numworks.com>
Date: Wed, 24 Oct 2018 11:30:53 +0200
Subject: [PATCH] [ion] Return just after destroying the record, do not finish
 the scan

---
 ion/src/shared/storage.cpp | 1 +
 1 file changed, 1 insertion(+)

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;
     }
   }
 }