Ignore:
Timestamp:
Mar 13, 2013, 2:02:57 AM (6 years ago)
Author:
sacerdot
Message:

RTL printing, core dumps ATM

File:
1 edited

Legend:

Unmodified
Added
Removed

  • driver/backendPrinter.mli

    r2854 r2860  
    1 (*val print_RTL_program: Extracted.RTL.rtl_program -> string*)
    2 val print_LTL_program: Extracted.LTL.ltl_program -> string
     1val print_program: Extracted.Compiler.pass -> Extracted.Preamble.__ -> string
Note: See TracChangeset for help on using the changeset viewer.