Changeset 2859 for driver

Timestamp:

Mar 13, 2013, 1:19:48 AM (8 years ago)

Author:

sacerdot

Message:

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

File:

• driver/backendPrinter.ml (modified) (1 diff)

driver/backendPrinter.ml

@@ -148 +148 @@
        let commands = list_of_matitalist commands in
        print_ident ident ^ ":\n" ^
-       String.concat "\n" commands
+       String.concat "\n" (List.rev commands)
      )
     l)