summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Notes/todo.txt1
1 files changed, 0 insertions, 1 deletions
diff --git a/Notes/todo.txt b/Notes/todo.txt
index daee5d0b..113042e1 100644
--- a/Notes/todo.txt
+++ b/Notes/todo.txt
@@ -1,5 +1,4 @@
TODO:
-- MIR print
- Drops in MIR
- MIR Validation pass
- Save HIR+MIR into crate metadata