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

Fixed iterator minimization bug.

Browse source
This commit is contained in:
Adrien Guatto 2011-10-03 10:50:59 +02:00
parent 80f24b747c
commit 2fb27770b8
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/tomato.ml
View file

@ -392,8 +392,8 @@ and reconstruct_exp_desc mapping headd children =
let rst, children = match rst_dummy with
| None -> None, children
| Some _ -> Some (reconstruct_class_ref mapping (List.hd children)), List.tl children in
let total_w_list = reconstruct_extvalues mapping (partial_w_list @ w_list) children in
let partial_w_list, w_list = split_at (List.length partial_w_list) total_w_list in
let total_w_list = reconstruct_extvalues mapping (w_list @ partial_w_list) children in
let w_list, partial_w_list = split_at (List.length w_list) total_w_list in
Eiterator (it, app, sel, partial_w_list, w_list, optional extract_name rst)
and reconstruct_extvalues mapping w_list children =