From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 17 May 2005 13:08:22 +0000 (+0000)
Subject: cosmetic changes
X-Git-Tag: single_binding~50
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b2324a449baf0e00962576b2b66f520fb093e87e;p=helm.git

cosmetic changes
---

diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml
index fe972b0bb..15177ddb1 100644
--- a/helm/ocaml/metadata/metadataConstraints.ml
+++ b/helm/ocaml/metadata/metadataConstraints.ml
@@ -152,7 +152,7 @@ let add_constraint ?(start=0) ?(tables=default_tables) (n,from,where) metadata =
       ((n+2), from, where)
 
 let exec ~(dbd:Mysql.dbd) ?rating (n,from,where) =
-let from = String.concat ", " from in
+  let from = String.concat ", " from in
   let where = String.concat " and " where in
   let query =
     match rating with
@@ -163,7 +163,7 @@ let from = String.concat ", " from in
             and table0.source = hits.source order by hits.no desc")
           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)