Ignore:
Timestamp:
Jan 27, 2012, 12:11:54 AM (8 years ago)
Author:
tranquil
Message:

corrected a bug in loop peeling where continue and breaks were not handled right

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/options.ml

    r1580 r1664  
    5959  reindexing_transformations := !reindexing_transformations @ reindexing
    6060let get_transformations () =
    61   if !reindex_flag then !transformations else
    62   !transformations @ !reindexing_transformations
     61  if !reindex_flag then
     62    !transformations @ !reindexing_transformations
     63  else !transformations
    6364
    6465let cost_ternary_flag           = ref true
Note: See TracChangeset for help on using the changeset viewer.