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

merge of indexed labels branch

File:
1 edited

Legend:

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

    r619 r1542  
    1414    in
    1515    let sentence (k, (v1, v2)) =
     16      let k = CostLabel.string_of_cost_label ~pretty:true k in
    1617      Printf.sprintf "  Label %s %s in language `%s' \
    1718                        whereas it %s in language `%s'."
Note: See TracChangeset for help on using the changeset viewer.