diff options
author | Son Ho | 2023-12-18 10:21:08 +0100 |
---|---|---|
committer | Son Ho | 2023-12-18 10:21:08 +0100 |
commit | a49754a5b11e4de8793dc7e13c2962d139eb03b1 (patch) | |
tree | 4b1d532d075a4831fa04d6d2d3f87ece3a84f47b /compiler/InterpreterExpressions.ml | |
parent | 2fb4ca72b112f6181d74d1ca37ed6d54c65f43cd (diff) |
Rename some definitions
Diffstat (limited to 'compiler/InterpreterExpressions.ml')
-rw-r--r-- | compiler/InterpreterExpressions.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/InterpreterExpressions.ml b/compiler/InterpreterExpressions.ml index 1b5b79dd..8536b4ab 100644 --- a/compiler/InterpreterExpressions.ml +++ b/compiler/InterpreterExpressions.ml @@ -32,8 +32,7 @@ let expand_primitively_copyable_at_place (config : config) fun cf ctx -> let v = read_place access p ctx in match - find_first_primitively_copyable_sv_with_borrows - ctx.type_context.type_infos v + find_first_primitively_copyable_sv_with_borrows ctx.type_ctx.type_infos v with | None -> cf ctx | Some sv -> @@ -351,7 +350,7 @@ let eval_operand_no_reorganize (config : config) (op : operand) assert ( Option.is_none (find_first_primitively_copyable_sv_with_borrows - ctx.type_context.type_infos v)); + ctx.type_ctx.type_infos v)); (* Actually perform the copy *) let allow_adt_copy = false in let ctx, v = copy_value allow_adt_copy config ctx v in |