From 6f33d0baae14d1413eff410117eb6a1e61a1b197 Mon Sep 17 00:00:00 2001
From: Titus Wormer <tituswormer@gmail.com>
Date: Thu, 7 Jul 2022 11:34:20 +0200
Subject: Fix shifting jumps in tail of edit map

---
 src/util/edit_map.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/util/edit_map.rs')

diff --git a/src/util/edit_map.rs b/src/util/edit_map.rs
index ebc20b7..ae627c1 100644
--- a/src/util/edit_map.rs
+++ b/src/util/edit_map.rs
@@ -128,7 +128,9 @@ impl EditMap {
         }
 
         if start < events.len() {
-            next_events.append(&mut events[start..].to_vec());
+            let append = &mut events[start..].to_vec();
+            shift_links(append, &jumps);
+            next_events.append(append);
         }
 
         next_events
-- 
cgit