X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmetadata%2FmetadataConstraints.ml;h=32e34a40a1592e8b278aedd0c75093d3d5c9fea1;hb=aa2ba3c6aa2f84f1fa1e72ddc4f3559030cd718b;hp=870a57d90689346fcc0089a75e75ef2f0b790d67;hpb=20054808327ccec9d018b8cc54b31ccb44724f49;p=helm.git

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)