From 8f5b2a89a53e1ee111fe90d1a9fba9f5c45072e7 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 29 Sep 2006 11:22:39 +0000 Subject: [PATCH] removed a useless printing --- helm/software/components/metadata/metadataConstraints.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/metadata/metadataConstraints.ml b/helm/software/components/metadata/metadataConstraints.ml index 785f73fe4..f9766a735 100644 --- a/helm/software/components/metadata/metadataConstraints.ml +++ b/helm/software/components/metadata/metadataConstraints.ml @@ -547,7 +547,7 @@ let compute_with_only ~(dbd:HMysql.dbd) ?(facts=false) ?(where = `Conclusion) in (* Printf.fprintf stderr "all: %d\n" (List.length all);flush_all (); *) List.filter (function (_,uri) -> - prerr_endline ("W" ^UriManager.string_of_uri uri); +(* prerr_endline ("W" ^UriManager.string_of_uri uri); *) at_most ~dbd ~where constants uri) all in let equal_to = compute_exactly ~dbd ~facts ~where main prefixes in -- 2.39.2