From bb90d810c45301871edc68aa10952a5c8ae7905f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 17 Dec 2021 10:27:07 +0100
Subject: Update a comment

---
 src/Values.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3