From c39f5efd7ee59d07dd62ddef25d7cd09a1a3a704 Mon Sep 17 00:00:00 2001
From: denes <??>
Date: Mon, 20 Jul 2009 18:06:07 +0000
Subject: [PATCH] Removed status printing by processes

---
 helm/software/components/binaries/matitaprover/matitaprover.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 " ^ 
-- 
2.39.2