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(-)
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