Make a minor comment modification

1 files changed, 1 insertions, 1 deletions

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