summaryrefslogtreecommitdiff
path: root/TODO.md
diff options
context:
space:
mode:
Diffstat (limited to 'TODO.md')
-rw-r--r--TODO.md1
1 files changed, 0 insertions, 1 deletions
diff --git a/TODO.md b/TODO.md
index 37c18131..f7f44383 100644
--- a/TODO.md
+++ b/TODO.md
@@ -9,7 +9,6 @@
* remove the rule which says that we can end a borrow under an abstraction if
the corresponding loan is in the same abstraction.
- Also remove the io parameter from "end_borrow".
* add a `allow_borrow_overwrites` in the loan projectors.