diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Values.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Values.ml b/src/Values.ml index 25d354fb..f2807cfa 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -610,6 +610,8 @@ and aborrow_content = Note that we need to do so only for borrows consumed by parent abstractions (hence the optional borrow id). + + TODO: the below explanations are obsolete Example: ======== |