- Printf.eprintf "Optimized : %s\nPost Nodes: %u\n"
- (Pp.ppterm bo) (I.count_nodes 0 bo);
- prerr_string "H.pp_term : ";
- H.pp_term prerr_string [] [] bo; prerr_newline ();
- let _ = H.get_type "opt" [] (C.Cast (bo, ty)) in
+ if !debug then begin
+ Printf.eprintf "Optimized : %s\nPost Nodes: %u\n"
+ (Pp.ppterm bo) (I.count_nodes 0 bo);
+ prerr_string "H.pp_term : ";
+ H.pp_term prerr_string [] [] bo; prerr_newline ()
+ end;
+(* let _ = H.get_type "opt" [] (C.Cast (bo, ty)) in *)
+ L.time_stamp ("PO: DONE " ^ name);