From 6cb35171621051aec03906656ffa266f5947380d Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Tue, 20 Aug 2024 23:53:35 +0200 Subject: Minor: Update TODO --- TODO | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'TODO') diff --git a/TODO b/TODO index 6a07601..76a19b6 100644 --- a/TODO +++ b/TODO @@ -18,7 +18,7 @@ This is a rough outline of upcoming tasks: [x] Prove that CompleteTree.heapUpdateAt returns the element at the given index [x] Prove that CompleteTree.heapUpdateAt indeed updates the value at the given index. - Use the same approach as heapUpdateRoot -[ ] Prove that CompleteTree.heapRemoveAt returns the element at the given index +[x] Prove that CompleteTree.heapRemoveAt returns the element at the given index [ ] Prove that CompleteTree.heapRemoveAt leaves all values in the tree except at the input index. -- cgit v1.2.3