diff options
| author | Son Ho | 2021-12-01 14:04:26 +0100 |
|---|---|---|
| committer | Son Ho | 2021-12-01 14:04:26 +0100 |
| commit | 81ad3b074728ac70ed61ecf723d45568181df42e (patch) | |
| tree | f979a4350ba310eb05def8f6308fffc41409484b /src/Interpreter.ml | |
| parent | d8a59dce6122b3741039ff135d8f50271beff24a (diff) | |
Make a minor modification
Diffstat (limited to 'src/Interpreter.ml')
| -rw-r--r-- | src/Interpreter.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 03f31aee..c574ace4 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -1559,7 +1559,6 @@ let rec copy_value (config : C.config) (ctx : C.eval_ctx) (v : V.typed_value) : match bc with | SharedBorrow bid -> let ctx, bid' = C.fresh_borrow_id ctx in - (* TODO: clean indices *) let ctx = reborrow_shared config bid bid' ctx in (ctx, { v with V.value = V.Borrow (SharedBorrow bid') }) | MutBorrow (_, _) -> failwith "Can't copy a mutable borrow" |