Make progress on ExtractToFStar

1 files changed, 3 insertions, 0 deletions

diff --git a/TODO.md b/TODO.md
index 2ca92016..b8075bf4 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,8 @@
 # TODO
 
+0. when going from symbolic to pure, remove the useless tuples (as some fields
+   might be erased).
+
 0. Update the high-level comments, in particular in Values.ml
 
 0. Rename Pure -> PureAst