From 014bc19ab250560968b0511b58bdb5a3f5b1013d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 26 Apr 2011 12:43:03 +0200 Subject: [PATCH] Fixed bug in init analysis --- compiler/heptagon/analysis/initialization.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/heptagon/analysis/initialization.ml b/compiler/heptagon/analysis/initialization.ml index d122e43..391f90e 100644 --- a/compiler/heptagon/analysis/initialization.ml +++ b/compiler/heptagon/analysis/initialization.ml @@ -383,7 +383,7 @@ let typing_contract h contract = let typing_node { n_input = i_list; n_output = o_list; n_contract = contract; n_block = b } = let h = build_initialized IEnv.empty i_list in - let h = build_initialized h o_list in + let h = build h o_list in let h = typing_contract h contract in ignore (typing_block h b)