Merge pull request #4 from AeneasVerif/son_update_charon

Update the code to account for changes in Charon

1 files changed, 1 insertions, 1 deletions

diff --git a/TODO.md b/TODO.md
index 37d35138..39a16cdd 100644
--- a/TODO.md
+++ b/TODO.md
@@ -78,7 +78,7 @@
 
 6. add `mvalue` (meta values) stored in abstractions when ending loans
 
-8. The following doesn't work:
+8. The following doesn't work (if we don't expand the symbolic values):
   ```
   fn f1<'c, T>(p : (&'c mut T, &'c mut T)) -> (&'c mut T, &'c mut T)