Fix a small bug in projections_intersect and add more debugging output

1 files changed, 0 insertions, 1 deletions

diff --git a/TODO.md b/TODO.md
index 37c18131..f7f44383 100644
--- a/TODO.md
+++ b/TODO.md
@@ -9,7 +9,6 @@
 
 * remove the rule which says that we can end a borrow under an abstraction if
   the corresponding loan is in the same abstraction.
-  Also remove the io parameter from "end_borrow".
 
 * add a `allow_borrow_overwrites` in the loan projectors.