Changeset 2860 for driver/cerco.ml

Timestamp:

Mar 13, 2013, 2:02:57 AM (8 years ago)

Author:

sacerdot

Message:

RTL printing, core dumps ATM

File:

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

driver/cerco.ml

@@ -42 +42 @@
   let rec infinity = Extracted.Nat.S infinity in
   (fun pass prog ->
-    if pass = Extracted.Compiler.Ltl_pass then
-     print_string (BackendPrinter.print_LTL_program (fst (Obj.magic prog)));
+    print_string (BackendPrinter.print_program pass (fst (Obj.magic prog)));
     Extracted.Semantics.run_and_print pass prog infinity
      (fun p -> print_endline ("\n" ^ string_of_pass p ^ ":"); Extracted.Types.It)