Changeset 3002 for driver


Ignore:
Timestamp:
Mar 28, 2013, 1:05:20 PM (8 years ago)
Author:
tranquil
Message:

fixed previous commit

File:
1 edited

Legend:

Unmodified
Added
Removed

  • driver/printer.ml

    r3000 r3002  
    254254   | Extracted.Compiler.Rtl_separate_pass ->
    255255      beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params)
    256    | Extracted.Compiler.Rtl_separate_pass ->
    257       beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params)
    258256   | Extracted.Compiler.Rtl_uniq_pass ->
    259257      beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params)
Note: See TracChangeset for help on using the changeset viewer.