Changeset 2982 for driver


Ignore:
Timestamp:
Mar 27, 2013, 6:05:41 PM (7 years ago)
Author:
sacerdot
Message:

Pretty priting of LIN implemented.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/printer.ml

    r2901 r2982  
    5858 ; print_Op1 = print_op1
    5959 ; print_Op2 = print_op2
     60 ; print_nat = (fun n -> string_of_int (Extracted.Glue.int_of_matitanat n))
    6061 }
    6162
     
    242243      beprint
    243244       (Extracted.LTL_printer.print_LTL_program joint_LTL_LIN_printing_params)
     245   | Extracted.Compiler.Lin_pass ->
     246      beprint
     247       (Extracted.LIN_printer.print_LIN_program joint_LTL_LIN_printing_params)
    244248   | Extracted.Compiler.Object_code_pass ->
    245249      ASMPrinter.print_program (Extracted.ASM.oc (Obj.magic program))
Note: See TracChangeset for help on using the changeset viewer.