From: denes <??>
Date: Mon, 20 Jul 2009 18:06:07 +0000 (+0000)
Subject: Removed status printing by processes
X-Git-Tag: make_still_working~3649
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c39f5efd7ee59d07dd62ddef25d7cd09a1a3a704;p=helm.git

Removed status printing by processes
---

diff --git a/helm/software/components/binaries/matitaprover/matitaprover.ml b/helm/software/components/binaries/matitaprover/matitaprover.ml
index df6abfa92..f8a74014a 100644
--- a/helm/software/components/binaries/matitaprover/matitaprover.ml
+++ b/helm/software/components/binaries/matitaprover/matitaprover.ml
@@ -224,7 +224,7 @@ let worker order ~useage ~printmsg goal hypotheses =
 ;;
 
 let print_status p = 
-  let print_endline s = prerr_endline (string_of_int p ^ ": " ^ s) in
+  let print_endline s = () in (* prerr_endline (string_of_int p ^ ": " ^ s) in*)
     function
     | Unix.WEXITED 0 -> 
         print_endline ("status Unsatisfiable for " ^