Improve printing of symbolic values in abstractions

1 files changed, 2 insertions, 3 deletions

diff --git a/TODO.md b/TODO.md
index 4f4df18c..9b0e0b64 100644
--- a/TODO.md
+++ b/TODO.md
@@ -12,8 +12,6 @@
 
 5. add `mvalue` (meta values) stored in abstractions when ending loans
 
-6. update the printing of mut_borrows and mut_loans ([s@0 <: ...]) and (s@0)
-
 7. fix the static regions (with projectors)
 
 * write an interesting example to study with Jonathan
@@ -90,4 +88,5 @@
 
 * invariant: if a symbolic value is present multiple times in the concrete environment,
   it means it is primitively copyable
-  
+
+* update the printing of mut_borrows and mut_loans ([s@0 <: ...]) and (s@0)