X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaMisc.ml;h=df124751f1fe6e21480fb45a133ecaa0e2c8a79f;hb=8a5c30a914d7ff665218b31853c6fb4bcf58aa08;hp=e773fc977c6efb27a6328ab6c5d368377b72ff63;hpb=d7aca3eacb4bd8dc56223098f92e5370c82f92ff;p=helm.git

diff --git a/matita/matita/matitaMisc.ml b/matita/matita/matitaMisc.ml
index e773fc977..df124751f 100644
--- a/matita/matita/matitaMisc.ml
+++ b/matita/matita/matitaMisc.ml
@@ -154,13 +154,6 @@ let list_tl_at ?(equality=(==)) e l =
   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 =