Start implementing end_abstraction_borrow

1 files changed, 2 insertions, 1 deletions

diff --git a/src/Values.ml b/src/Values.ml
index 37ac2c84..3fddc88c 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -433,7 +433,8 @@ and aborrow_content =
 
           When giving shared borrows as arguments to function calls, we
           introduce new borrows to keep track of the fact that the function
-          might reborrow values inside.
+          might reborrow values inside. Note that as shared values are immutable,
+          we don't really need to remember the structure of the shared values.
 
           Example:
           ========