From 3f111150240ea61a382a34bfd0da3106460c1df7 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 --- components/metadata/metadataConstraints.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/metadata/metadataConstraints.ml b/components/metadata/metadataConstraints.ml index 785f73fe4..f9766a735 100644 --- a/components/metadata/metadataConstraints.ml +++ b/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