summaryrefslogtreecommitdiff
path: root/compiler/InterpreterExpansion.ml
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/InterpreterExpansion.ml')
-rw-r--r--compiler/InterpreterExpansion.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/InterpreterExpansion.ml b/compiler/InterpreterExpansion.ml
index 40c32ccc..8a563351 100644
--- a/compiler/InterpreterExpansion.ml
+++ b/compiler/InterpreterExpansion.ml
@@ -105,8 +105,8 @@ let apply_symbolic_expansion_to_target_avalues (config : C.config)
assert (given_back = []);
(* Apply the projector *)
let projected_value =
- apply_proj_loans_on_symbolic_expansion proj_regions expansion
- original_sv.V.sv_ty
+ apply_proj_loans_on_symbolic_expansion proj_regions
+ ancestors_regions expansion original_sv.V.sv_ty
in
(* Replace *)
projected_value.V.value)