blob: 19bdcbac58ce0e783b57128bd4f2e2492d7c65d6 (
plain)
1
2
3
4
5
6
7
8
9
|
(* Printing *)
let pr x =
if CDebug.(get_flag misc) then (Format.printf "@[%s@]" x; flush(stdout);)else ()
let prt0 s = () (* print_string s;flush(stdout)*)
let sinfo s = if CDebug.(get_flag misc) then Feedback.msg_debug (Pp.str s)
let info s = if CDebug.(get_flag misc) then Feedback.msg_debug (Pp.str (s ()))
|
