From 0b9dc1fc01a7c86190b055fa22b96e69e2fbfe83 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Thu, 21 Apr 2011 17:47:45 +0200 Subject: [PATCH] Correct fix --- 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 cf5d8ca..1f6cc26 100644 --- a/compiler/minils/analysis/interference.ml +++ b/compiler/minils/analysis/interference.ml @@ -281,7 +281,7 @@ let should_interfere (x, y) = let x_is_mem = World.is_memory x in let y_is_mem = World.is_memory y in let are_copies = have_same_value_from_name x y in - let disjoint_clocks = disjoint_clock (x_is_mem && y_is_mem) vdx.v_clock vdy.v_clock in + let disjoint_clocks = disjoint_clock (x_is_mem || y_is_mem) vdx.v_clock vdy.v_clock in not (disjoint_clocks or are_copies) )