From 0f403e36945b60fd812105bfc0d311b9b9bac563 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Mon, 17 Oct 2011 10:16:50 +0200
Subject: [PATCH] Fix for wrong number of expected args

---
 compiler/minils/analysis/interference.ml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/compiler/minils/analysis/interference.ml b/compiler/minils/analysis/interference.ml
index 9e4f2ba..171f86c 100644
--- a/compiler/minils/analysis/interference.ml
+++ b/compiler/minils/analysis/interference.ml
@@ -465,6 +465,12 @@ let process_eq ({ eq_lhs = pat; eq_rhs = e } as eq) =
          add_affinity_link_from_ivar (InterfRead.ivar_of_extvalue w) (Ivar x)
        with
          | InterfRead.Const_extvalue -> ())
+    | 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)
+       with
+         | InterfRead.Const_extvalue -> ())
     | Evarpat x, Eextvalue w ->
       (* Add links between variables with the same value *)
       (try