From ada864f387d5425076159a3cdf1c33fcc371838b Mon Sep 17 00:00:00 2001
From: Ben Kimock <kimockb@gmail.com>
Date: Thu, 19 May 2022 09:29:08 -0400
Subject: [PATCH] Pass the correct size to the AllocRange for log_creation

---
 src/stacked_borrows.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/stacked_borrows.rs b/src/stacked_borrows.rs
index 8dda4a9e22a..d7c21393232 100644
--- a/src/stacked_borrows.rs
+++ b/src/stacked_borrows.rs
@@ -731,7 +731,7 @@ fn reborrow(
             alloc_history.log_creation(
                 Some(orig_tag),
                 new_tag,
-                alloc_range(base_offset, base_offset + size),
+                alloc_range(base_offset, size),
                 &this.machine.threads,
             );
             if protect {
-- 
2.44.0