From 37726d25d7aceb766bb9940a94defb0403c53c38 Mon Sep 17 00:00:00 2001 From: Fredrik Tolf Date: Mon, 14 Feb 2022 17:47:45 +0100 Subject: [PATCH] Fixed heap removal bug. --- src/jagi/event/Heap.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/jagi/event/Heap.java b/src/jagi/event/Heap.java index aec2991..e807c31 100644 --- a/src/jagi/event/Heap.java +++ b/src/jagi/event/Heap.java @@ -71,6 +71,7 @@ public class Heap { return(null); V ret = val(0); remove(0); + index.remove(ret); return(ret); } @@ -79,6 +80,7 @@ public class Heap { throw(new NoSuchElementException()); V ret = val(0); remove(0); + index.remove(ret); return(ret); } -- 2.11.0