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

Fixed normalized_mem

Browse source 
It inverted the order of equations
This commit is contained in:
Cédric Pasteur 2011-04-20 16:23:27 +02:00
parent d6240e1c67
commit 2757e7c1bf
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
compiler/minils/transformations/normalize_mem.ml
View file

@ -18,7 +18,7 @@ let eq _ (v, eqs) eq = match eq.eq_lhs, eq.eq_rhs.e_desc with
let x_copy_exp = mk_exp ty (Eextvalue (mk_extvalue ~ty:ty (Wvar x_copy))) in
let eq_copy = { eq with eq_rhs = x_copy_exp } in
let eq = { eq with eq_lhs = Evarpat x_copy } in
eq, (vd::v, eq::eq_copy::eqs)
eq, (vd::v, eq_copy::eq::eqs)
else
eq, (v, eq::eqs)
| _, _ ->
@ -26,7 +26,7 @@ let eq _ (v, eqs) eq = match eq.eq_lhs, eq.eq_rhs.e_desc with
let node funs acc nd =
let nd, (v, eqs) = Mls_mapfold.node_dec funs (nd.n_local, []) nd in
{ nd with n_local = v; n_equs = eqs }, acc
{ nd with n_local = v; n_equs = List.rev eqs }, acc
let program p =
let funs = { Mls_mapfold.defaults with eq = eq; node_dec = node } in