From 96bd133b306cdb40314938a394303b294f400101 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 15 Nov 2005 17:32:20 +0000 Subject: [PATCH] Debugging code commented out. --- helm/ocaml/metadata/metadataConstraints.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml index 852c639ce..7bc92eb66 100644 --- a/helm/ocaml/metadata/metadataConstraints.ml +++ b/helm/ocaml/metadata/metadataConstraints.ml @@ -609,12 +609,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 -- 2.39.2