Changeset 1542 for Deliverables/D2.2/8051/src/checker.ml

Timestamp:

Nov 23, 2011, 5:43:24 PM (9 years ago)

Author:

tranquil

Message:

merge of indexed labels branch

File:

• Deliverables/D2.2/8051/src/checker.ml (modified) (1 diff)

Deliverables/D2.2/8051/src/checker.ml

@@ -14 +14 @@
     in 
     let sentence (k, (v1, v2)) =
+      let k = CostLabel.string_of_cost_label ~pretty:true k in
       Printf.sprintf "  Label %s %s in language `%s' \
                         whereas it %s in language `%s'."