X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FmetadataConstraints.ml;h=07fcc738b0b2fee951580106307200b4823f505c;hb=b67ea513f11d1ef3d9fd228c64913561424662e2;hp=852c639cef69f883a6bf1c9f9003d4732b9612a3;hpb=eb882cc83302a5f6035c3e29018a9aab224d4d25;p=helm.git

diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml
index 852c639ce..07fcc738b 100644
--- a/helm/ocaml/metadata/metadataConstraints.ml
+++ b/helm/ocaml/metadata/metadataConstraints.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf
 open MetadataTypes 
 
@@ -609,12 +611,12 @@ let sigmatch ~(dbd:HMysql.dbd) ?(facts=false) ?(where = `Conclusion)
    | Some (main, types) -> Some main,types
  in
   let constants_no = UriManagerSet.cardinal constants in
-  prerr_endline (("constants_no: ")^(string_of_int constants_no));
+  (* prerr_endline (("constants_no: ")^(string_of_int constants_no)); *)
   if (constants_no > critical_value) then 
     let subsets = 
       let subsets = power_upto just_factor constants in
-      let _ = prerr_endline (("subsets: ")^
-	 (string_of_int (List.length subsets))) in
+      (* let _ = prerr_endline (("subsets: ")^
+	 (string_of_int (List.length subsets))) in *)
       let types_no = List.length types in
       List.map (function (n,l) -> (n+types_no,types@l)) subsets
     in