From 4f9a91eebd9451d59a61058965f45491ee9ea284 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 17 Oct 2011 15:25:52 +0200 Subject: [PATCH] Fixed dependency issue with linear splits --- compiler/utilities/global/dep.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/utilities/global/dep.ml b/compiler/utilities/global/dep.ml index 0b3715f..b43cdd4 100644 --- a/compiler/utilities/global/dep.ml +++ b/compiler/utilities/global/dep.ml @@ -70,7 +70,7 @@ struct let names = Read.read (containt node) in List.iter (attach names_to_graph node) names; let reads = Misc.list_diff names (Read.linear_read (containt node)) in - List.iter (attach lin_map node) names; + List.iter (attach lin_map node) reads; make_graph g_list names_to_graph lin_map in