From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 20 May 2006 10:07:01 +0000 (+0000)
Subject: removedx a prerr_endline
X-Git-Tag: 0.4.95@7852~1452
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0c2abc0eb74a5387469375a4a5897265633be340;p=helm.git

removedx a prerr_endline
---

diff --git a/components/tactics/paramodulation/indexing.ml b/components/tactics/paramodulation/indexing.ml
index d69404ed4..d35fbff34 100644
--- a/components/tactics/paramodulation/indexing.ml
+++ b/components/tactics/paramodulation/indexing.ml
@@ -242,7 +242,6 @@ let rec find_matches metasenv context ugraph lift_amount term termty =
     | [] -> None
     | candidate::tl ->
         let pos, equality = candidate in
-        prerr_endline (". " ^ Equality.string_of_equality equality);
         let (_, proof, (ty, left, right, o), metas,_) = 
           Equality.open_equality equality 
         in