From 73835ba964ca4d80bec31380d6021896716710fe Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 24 Nov 2021 12:15:09 +0100
Subject: Make a minor comment modification

---
 src/Interpreter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 29f06e87..4b1733b2 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -1544,7 +1544,7 @@ let eval_rvalue (config : config) (ctx : eval_ctx) (rvalue : rvalue) :
           let env1 = update_env_along_read_place config access p ctx.env in
           let env2 = collect_borrows_at_place config access p env1 in
           let v = read_place_unwrap config access p ctx.env in
-          (* Compute the rvalue - write the value in a mutable borrow *)
+          (* Compute the rvalue - wrap the value in a mutable borrow with a fresh id *)
           let ctx2 = { ctx with env = env2 } in
           let ctx3, bid = fresh_borrow_id ctx2 in
           let rv_ty = Types.Ref (Erased, v.ty, Mut) in
-- 
cgit v1.2.3