From 0e6eb98bf76eb7d85e7f3cfb731996cb3921640d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 13 Sep 2010 11:07:01 +0200 Subject: [PATCH] Do not add consts to env again --- compiler/heptagon/analysis/typing.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml index bce6c00..d2dc22e 100644 --- a/compiler/heptagon/analysis/typing.ml +++ b/compiler/heptagon/analysis/typing.ml @@ -1062,10 +1062,7 @@ let node ({ n_name = f; n_statefull = statefull; let typing_const_dec cd = let ty = check_type QualEnv.empty cd.c_type in let se = expect_static_exp QualEnv.empty ty cd.c_value in - let cd = { cd with c_value = se; c_type = ty } in - add_const cd.c_name (mk_const_def cd.c_type cd.c_value); - cd - + { cd with c_value = se; c_type = ty } let program ({ p_opened = opened; p_types = p_type_list; p_nodes = p_node_list; p_consts = p_consts_list } as p) =