Implement loop detection when ending borrows/abstractions

1 files changed, 1 insertions, 2 deletions

diff --git a/TODO.md b/TODO.md
index 08fc19ad..fdebe51f 100644
--- a/TODO.md
+++ b/TODO.md
@@ -7,8 +7,6 @@
   function arguments or putting them in the return value, in order to deduplicate
   those values.
 
-3. Detect loops in end_borrow/end_abstraction
-
 4. add a check in function inputs: ok to take as parameters symbolic values with
   borrow parameters *if* they come from the "input abstractions".
   In order to do this, add a symbolic value kind (would make things easier than
@@ -82,3 +80,4 @@
 * Check what happens when symbolic borrows are not expanded (when looking for
   borrows/abstractions to end).
 
+* Detect loops in end_borrow/end_abstraction