From a7587b1e68cef617779bee4ebe744ceffba6bc10 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 20 May 2006 12:20:55 +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 3bc8eb25b..5eb62666f 100644 --- a/helm/software/components/tactics/paramodulation/saturation.ml +++ b/helm/software/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