jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Fixed bug in init analysis

Browse source
This commit is contained in:
Cédric Pasteur 2011-04-26 12:43:03 +02:00
parent 401aaeeb89
commit 014bc19ab2
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/heptagon/analysis/initialization.ml
View file

@ -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)