diff --git a/compiler/minils/analysis/interference.ml b/compiler/minils/analysis/interference.ml index b6bebe1..f1a2bc0 100644 --- a/compiler/minils/analysis/interference.ml +++ b/compiler/minils/analysis/interference.ml @@ -519,7 +519,7 @@ let process_eq ({ eq_lhs = pat; eq_rhs = e } as eq) = | Evarpat x, Eapp({ a_op = Eupdate | Efield_update }, args, _) -> let w, _ = Misc.assert_1min args in (try - add_same_value_link_from_ivar (InterfRead.ivar_of_extvalue w) (Ivar x) + add_affinity_link_from_ivar (InterfRead.ivar_of_extvalue w) (Ivar x) with | InterfRead.Const_extvalue -> ()) | Evarpat x, Eextvalue w ->