From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 22 Apr 2005 08:36:42 +0000 (+0000)
Subject: removed debugging print
X-Git-Tag: after_svn_merge~22
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a4c02907fcf1c5ef8a4b89832808541fcad172e6;p=helm.git

removed debugging print
---

diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml
index 870a57d90..32e34a40a 100644
--- a/helm/ocaml/metadata/metadataConstraints.ml
+++ b/helm/ocaml/metadata/metadataConstraints.ml
@@ -163,7 +163,7 @@ let at_least ~(dbd:Mysql.dbd) ?concl_card ?full_card ?diff tables
  *)
     sprintf "select table0.source from %s where %s" from where
   in
-  prerr_endline query;
+(*   prerr_endline query; *)
   let result = Mysql.exec dbd query in
   Mysql.map result
     (fun row -> match row.(0) with Some s -> s | _ -> assert false)
diff --git a/helm/ocaml/tactics/metadataQuery.ml b/helm/ocaml/tactics/metadataQuery.ml
index b6b360a81..0e86d8cce 100644
--- a/helm/ocaml/tactics/metadataQuery.ml
+++ b/helm/ocaml/tactics/metadataQuery.ml
@@ -60,7 +60,7 @@ let locate ~(dbd:Mysql.dbd) ?(vars = false) pat =
       (fun cols -> match cols.(0) with Some s -> s | _ -> assert false))
 
 let match_term ~(dbd:Mysql.dbd) ty =
-  prerr_endline (CicPp.ppterm ty);
+(*   prerr_endline (CicPp.ppterm ty); *)
   let metadata = MetadataExtractor.compute ~body:None ~ty in
   let constants_no =
     MetadataConstraints.StringSet.cardinal (MetadataConstraints.constants_of ty)