- Timestamp:
- Mar 27, 2013, 6:05:41 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/printer.ml
r2901 r2982 58 58 ; print_Op1 = print_op1 59 59 ; print_Op2 = print_op2 60 ; print_nat = (fun n -> string_of_int (Extracted.Glue.int_of_matitanat n)) 60 61 } 61 62 … … 242 243 beprint 243 244 (Extracted.LTL_printer.print_LTL_program joint_LTL_LIN_printing_params) 245 | Extracted.Compiler.Lin_pass -> 246 beprint 247 (Extracted.LIN_printer.print_LIN_program joint_LTL_LIN_printing_params) 244 248 | Extracted.Compiler.Object_code_pass -> 245 249 ASMPrinter.print_program (Extracted.ASM.oc (Obj.magic program))
Note: See TracChangeset
for help on using the changeset viewer.