summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSon Ho2021-11-24 12:15:09 +0100
committerSon Ho2021-11-24 12:15:09 +0100
commit73835ba964ca4d80bec31380d6021896716710fe (patch)
tree758b825c9d3253cdf8f346c195cbba8dfd206ae2 /src
parent18d0ef8946a5f339b9e0e52fd0ad00970c575523 (diff)
Make a minor comment modification
Diffstat (limited to '')
-rw-r--r--src/Interpreter.ml2
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