X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaMisc.ml;h=2112952610869c0495575a7f1bb5a75948cd5d6c;hb=418b1f26ab67b824c79d1146fdb50ca29b34c1f6;hp=bb745f7030f968817f544fa4a49d1828eba4795e;hpb=863eeec8251791046ea6ea487286eb1434520725;p=helm.git

diff --git a/helm/software/matita/matitaMisc.ml b/helm/software/matita/matitaMisc.ml
index bb745f703..211295261 100644
--- a/helm/software/matita/matitaMisc.ml
+++ b/helm/software/matita/matitaMisc.ml
@@ -156,6 +156,8 @@ let list_tl_at ?(equality=(==)) e 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)
+*)