Changeset 2859 for driver


Ignore:
Timestamp:
Mar 13, 2013, 1:19:48 AM (7 years ago)
Author:
sacerdot
Message:

Pretty printing improved (now it always starts the visit from lbl 1).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/backendPrinter.ml

    r2858 r2859  
    148148       let commands = list_of_matitalist commands in
    149149       print_ident ident ^ ":\n" ^
    150        String.concat "\n" commands
     150       String.concat "\n" (List.rev commands)
    151151     )
    152152    l)
Note: See TracChangeset for help on using the changeset viewer.