Ignore:
Timestamp:
Oct 10, 2011, 5:50:56 PM (8 years ago)
Author:
tranquil
Message:

work on ERTL and LTL completed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/acc.ml

    r1328 r1345  
    6565                                        Printf.printf "%s, " (CostLabel.string_of_cost_label
    6666                                                               ~pretty:true l) in
    67                           let print_ls ls = List.iter print_l (List.rev ls) in
     67                          let print_ls ls = List.iter print_l ls in
    6868                                let print_trace (v, ls) =
    6969                                        Printf.printf "%s | " (Big_int.string_of_big_int v);
Note: See TracChangeset for help on using the changeset viewer.