From 74a353f252c70412dd19430ae585b7edbbb836ec Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 14 Jan 2022 13:41:29 +0100
Subject: Update the TODOs

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

diff --git a/TODO.md b/TODO.md
index c3afe870..08fc19ad 100644
--- a/TODO.md
+++ b/TODO.md
@@ -14,6 +14,8 @@
   In order to do this, add a symbolic value kind (would make things easier than
   adding ad-hoc lookups...): `FunRet`, `FunGivenBack`, `SynthInput`, `SynthGivenBack`
 
+5. add `mvalue` (meta values) stored in abstractions when ending loans
+
 * write an interesting example to study with Jonathan
 
 * add option for: `allow_borrow_overwrites_on_input_values`
-- 
cgit v1.2.3