Make more minor modifications

1 files changed, 2 insertions, 1 deletions

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