From ed2c08315bb605882c05a9d18c92775a5e8e168b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Tue, 19 Jun 2012 09:33:27 +0200
Subject: [PATCH] Should be affinity, not copy

---
 compiler/minils/analysis/interference.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ->