Ignore:
Timestamp:
Nov 23, 2011, 5:43:24 PM (8 years ago)
Author:
tranquil
Message:

merge of indexed labels branch

File:
1 edited

Legend:

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

    r818 r1542  
    204204let all_labels p =
    205205  let (cost_labels, user_labels) = prog_labels p in
    206   let all =
    207     CostLabel.Set.fold (fun lbl lbls -> StringTools.Set.add lbl lbls)
    208       cost_labels StringTools.Set.empty in
     206  let f lbl = StringTools.Set.add (CostLabel.string_of_cost_label lbl) in
     207  let all = CostLabel.Set.fold f cost_labels StringTools.Set.empty in
    209208  Label.Set.fold (fun lbl lbls -> StringTools.Set.add lbl lbls) user_labels all
Note: See TracChangeset for help on using the changeset viewer.