let absolute_path file =
if file.[0] = '/' then file else Unix.getcwd () ^ "/" ^ file
-let is_proof_script _fname = true (** TODO Zack *)
-let is_proof_object _fname = true (** TODO Zack *)
+let is_proof_script _fname = true (* TODO Zack *)
+let is_proof_object _fname = true (* TODO Zack *)
let append_phrase_sep s =
if not (Pcre.pmatch ~pat:(sprintf "%s$" BuildTimeConf.phrase_sep) s) then
in
aux l
-let shutup () =
- HLog.set_log_callback (fun _ _ -> ())
-(*
- let out = open_out "/dev/null" in
- Unix.dup2 (Unix.descr_of_out_channel out) (Unix.descr_of_out_channel stderr)
-*)
-
(* FG: out_preamble *********************************************************)
let out_comment och s =