From 48c72ef2ebc2334432765481f65dc0fb6756e584 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 20 May 2006 12:20:55 +0000
Subject: [PATCH] removed prerr_endline.

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

diff --git a/components/tactics/paramodulation/saturation.ml b/components/tactics/paramodulation/saturation.ml
index 3bc8eb25b..5eb62666f 100644
--- a/components/tactics/paramodulation/saturation.ml
+++ b/components/tactics/paramodulation/saturation.ml
@@ -1311,7 +1311,6 @@ let infer_goal_set env active goals =
         let new' = Indexing.superposition_left env (snd active) selected in
         let metasenv, context, ugraph = env in
         let names = names_of_context context in
-        List.iter (fun (_,_,x) -> prerr_endline ("X: " ^ CicPp.pp x names)) new';
         selected::active_goals, passive_goals @ new'
     | _::tl -> aux tl
   in 
-- 
2.39.2