diff options
Diffstat (limited to 'AAC_helper.ml')
| -rw-r--r-- | AAC_helper.ml | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/AAC_helper.ml b/AAC_helper.ml index 15372f2..637def1 100644 --- a/AAC_helper.ml +++ b/AAC_helper.ml @@ -14,28 +14,28 @@ end module Debug (X : CONTROL) = struct open X - let debug x = - if debug then + let debug x = + if debug then Printf.printf "%s\n%!" x let time f x fmt = - if time then + if time then let t = Sys.time () in let r = f x in Printf.printf fmt (Sys.time () -. t); r - else f x + else f x - let pr_constr msg constr = - if printing then + let pr_constr msg constr = + if printing then ( Pp.msgnl (Pp.str (Printf.sprintf "=====%s====" msg)); Pp.msgnl (Printer.pr_constr constr); ) - let debug_exception msg e = + let debug_exception msg e = debug (msg ^ (Printexc.to_string e)) - + end |