From ad90d11e8b933202ca2be1af04a768c8077e8e2d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 14 Jan 2022 23:15:08 +0100
Subject: Make more minor modifications

---
 TODO.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/TODO.md b/TODO.md
index 027dab18..fd950d7b 100644
--- a/TODO.md
+++ b/TODO.md
@@ -36,7 +36,6 @@
 * remove the rule which says that we can end a borrow under an abstraction if
   the corresponding loan is in the same abstraction.
   Actually: update the rule, rather.
-* Reduce projectors to `_` (ignored) when there are no region intersections
 
 * update end_borrow_get_borrow to keep track of the ignored borrows/loans as
   outer borrows, and track the ids of the ignored shared loans?
@@ -90,3 +89,5 @@
   * `apply_proj_borrows_on_input_values` : ... -> value -> rty -> avalue
   * `apply_proj_borrows_on_given_back_values` : ... -> value -> avalue -> avalue
   Actually: didn't do it: bad idea.
+
+* Reduce projectors to `_` (ignored) when there are no region intersections
-- 
cgit v1.2.3