summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSon Ho2021-12-17 10:27:07 +0100
committerSon Ho2021-12-17 10:27:07 +0100
commitbb90d810c45301871edc68aa10952a5c8ae7905f (patch)
tree15bd28a90d6647ff6bdb68b3f2750e2940fd497e /src
parented1562db8a72631e36b89171b377e395cb0f8632 (diff)
Update a comment
Diffstat (limited to 'src')
-rw-r--r--src/Values.ml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Values.ml b/src/Values.ml
index 3905d96e..38193068 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -242,7 +242,8 @@ and aloan_content =
`AMutBorrow (_, AMutBorrow (_, ...)` (ignoring the types) really is
to be seen like a `mut_borrow ... (mut_borrow ...)`.
- TODO: be more precise about the ignored vlaues
+ TODO: be more precise about the ignored borrows (keep track of the borrow
+ ids)
*)
and aborrow_content =
| AMutBorrow of (BorrowId.id[@opaque]) * typed_avalue