Ignore:
Timestamp:
Oct 5, 2011, 6:04:47 PM (8 years ago)
Author:
tranquil
Message:

changed representation of indexings to a nameless one implemented with arrays

File:
1 edited

Legend:

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

    r1291 r1297  
    162162  let cost_prefix = CostLabel.Atom.Gen.fresh_prefix labs "_cost" in
    163163  let cost_universe = CostLabel.Atom.Gen.new_universe cost_prefix in
    164         let ind = CostLabel.Indexing.empty in
     164        let ind = CostLabel.id_indexing 0 in
    165165  {
    166166    prog_funct = List.map (add_cost_labels_f ind cost_universe) p.prog_funct;
Note: See TracChangeset for help on using the changeset viewer.