Ignore:
Timestamp:
Mar 28, 2013, 4:58:26 PM (7 years ago)
Author:
tranquil
Message:

ERTL to ERTLptr pass suppressed (it introduced a bug in the later ERTLptr to LTL), and integrated in a single ERTToLTL pass like before

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/rTLabsPrinter.ml

    r3000 r3014  
    149149
    150150let print_fun_ident = print_identifier "fun"
    151 
    152151let print_ident = print_identifier "id"
    153 
    154152let print_label = print_identifier "l"
    155 
    156153let print_reg = print_identifier "r"
     154let print_cost = print_identifier "k"
    157155
    158156let print_nat n = string_of_int (Extracted.Glue.int_of_matitanat n)
     
    236234  | St_cost (cost_lbl, lbl) ->
    237235      Printf.sprintf "emit %s --> %s"
    238         (print_label cost_lbl)
     236        (print_cost cost_lbl)
    239237        (print_label lbl)
    240238  | St_const (_, destr, cst, lbl) ->
Note: See TracChangeset for help on using the changeset viewer.