From 14f7c587a6100fe0b2985e3afd123f79fde8d468 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 12 Jan 2022 18:13:01 +0100
Subject: Remove an item from TODO.md

---
 TODO.md | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/TODO.md b/TODO.md
index 0070000f..dfdaf8b3 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,9 +1,3 @@
-* update assign_to_place: problem with the value to assign which is hanging in
-  the air.
-  Maybe: push it to a dummy variable?...
-  TODO: x = move x where x contains borrows.
-  I think we should move the operands to specific "temporary" variables.
-
 * Check what happens when symbolic borrows are not expanded (when looking for
   borrows/abstractions to end).
 
-- 
cgit v1.2.3