- Timestamp:
- Mar 13, 2013, 1:19:48 AM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/backendPrinter.ml
r2858 r2859 148 148 let commands = list_of_matitalist commands in 149 149 print_ident ident ^ ":\n" ^ 150 String.concat "\n" commands150 String.concat "\n" (List.rev commands) 151 151 ) 152 152 l)
Note: See TracChangeset
for help on using the changeset viewer.