Changeset 1297 for Deliverables/D2.2/8051-indexed-labels-branch/src/clight

Timestamp:

Oct 5, 2011, 6:04:47 PM (9 years ago)

Author:

tranquil

Message:

changed representation of indexings to a nameless one implemented with arrays

File:

• Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightLabelling.ml (modified) (1 diff)

Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightLabelling.ml

@@ -162 +162 @@
   let cost_prefix = CostLabel.Atom.Gen.fresh_prefix labs "_cost" in
   let cost_universe = CostLabel.Atom.Gen.new_universe cost_prefix in
-        let ind = CostLabel.Indexing.empty in
+        let ind = CostLabel.id_indexing 0 in
   {
     prog_funct = List.map (add_cost_labels_f ind cost_universe) p.prog_funct;