From 71c7942870c8f6c849aef974f052f6037bbd44a7 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 17 Dec 2021 19:44:12 +0100
Subject: Add 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 c2def762..969e01d2 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -255,7 +255,8 @@ and aloan_content =
   | AIgnoredMutLoan of (BorrowId.id[@opaque]) * typed_avalue
   | AEndedIgnoredMutLoan of { given_back : typed_avalue; child : typed_avalue }
   | AProjSharedLoan of (abstract_shared_borrows[@opaque])
-      (** A projected shared loan *)
+      (** A projected shared loan - TODO: remove? Does it make sense? Maybe
+          I should rename that to AIgnoredSharedLoan... *)
 
 (** Note that when a borrow content is ended, it is replaced by Bottom (while
     we need to track ended loans more precisely, especially because of their
-- 
cgit v1.2.3