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

Hept2mls: fixed missing enter_node

Browse source
This commit is contained in:
Adrien Guatto 2012-03-07 17:44:29 +01:00
parent 9640acb3a4
commit f09792485e
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
compiler/main/hept2mls.ml
View file

@ -187,6 +187,7 @@ let translate_contract contract =
c_controllables = List.map translate_var l_c }
let node n =
enter_node n.Heptagon.n_name;
{ n_name = n.Heptagon.n_name;
n_stateful = n.Heptagon.n_stateful;
n_unsafe = n.Heptagon.n_unsafe;