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

Fix memory normalization: the correct clock was

Browse source 
missing.
This commit is contained in:
Adrien Guatto 2011-07-06 11:49:26 +02:00
parent 34b65c1234
commit cedcabfbc4
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/minils/transformations/normalize_mem.ml
View file

@ -24,7 +24,7 @@ let eq _ (outputs, eqs, env) eq = match eq.eq_lhs, eq.eq_rhs.e_desc with
let ty = eq.eq_rhs.e_ty in
let ck = eq.eq_rhs.e_base_ck in
let x_copy = Idents.gen_var "normalize_mem" ("out_"^(Idents.name x)) in
let exp_x = mk_exp ck ty (Eextvalue (mk_extvalue ~ty:ty (Wvar x))) in
let exp_x = mk_exp ck ~ck:ck ~ct:(Clocks.Ck ck) ty (Eextvalue (mk_extvalue ~clock:ck ~ty:ty (Wvar x))) in
let eq_copy = { eq with eq_lhs = Evarpat x_copy; eq_rhs = exp_x } in
let env = Env.add x x_copy env in
eq, (outputs, eq::eq_copy::eqs, env)