From 3a800613927f29bfc7398b1ff35e0835359fe8f3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 28 Jun 2010 16:15:44 +0200 Subject: [PATCH] Fix compilation --- compiler/heptagon/analysis/causal.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/compiler/heptagon/analysis/causal.ml b/compiler/heptagon/analysis/causal.ml index 523756f..8b4ab7c 100644 --- a/compiler/heptagon/analysis/causal.ml +++ b/compiler/heptagon/analysis/causal.ml @@ -220,8 +220,7 @@ let build ac = top2; top1 @ top2, bot1 @ bot2 | Awrite(n) -> let g = Env.find n n_to_graph in [g], [g] - | Aread(n) -> let g = make ac in attach g n; attach_lin g n; [g], [g] - | Alinread(n) -> let g = Env.find n lin_map in attach g n; [g], [g] + | Aread(n) -> let g = make ac in attach g n; [g], [g] | Atuple(l) -> let make_graph_tuple ac = match ac with