From b6561c4a9f56fcead8d3b942ec68d56d8c07c8c6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 13 Sep 2010 09:12:10 +0200 Subject: [PATCH] Fixed bug in Callgraph Only add new nodes to the environment. --- compiler/minils/transformations/callgraph.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/minils/transformations/callgraph.ml b/compiler/minils/transformations/callgraph.ml index 69502d3..e65b5e8 100644 --- a/compiler/minils/transformations/callgraph.ml +++ b/compiler/minils/transformations/callgraph.ml @@ -182,7 +182,8 @@ struct node_params_constraints = [] } in (* Find the name that was associated to this instance *) let ln = node_for_params_call n.n_name params in - Modules.add_value ln node_sig; (*TODO Bug with array1.ept*) + if not (check_value ln) then + Modules.add_value ln node_sig; { n with n_name = ln; n_params = []; n_params_constraints = []; } let node_dec modname n =