From b6f33efbe92819ac15ce05b8cd9e66d3db50abcb Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 20 May 2006 10:08:43 +0000
Subject: [PATCH] removed prerr_endline

---
 helm/software/components/tactics/paramodulation/saturation.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/helm/software/components/tactics/paramodulation/saturation.ml b/helm/software/components/tactics/paramodulation/saturation.ml
index 6ab9f59e2..8a31d6253 100644
--- a/helm/software/components/tactics/paramodulation/saturation.ml
+++ b/helm/software/components/tactics/paramodulation/saturation.ml
@@ -1800,7 +1800,6 @@ let saturate
       let goal_proof = replace goal_proof in
         (* ok per le meta libere... ma per quelle che c'erano e sono rimaste? 
          * what mi pare buono, sostituisce solo le meta farlocche *)
-        prerr_endline (CicPp.pp goal_proof names);
       let side_effects_t = List.map replace side_effects_t in
       (* check/refine/... build the new proof *)
       let replaced_goal = 
-- 
2.39.2