From 6904c4e6573f4e51884d4e0178adbf9e856ab276 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 2 Oct 2006 15:16:02 +0000 Subject: [PATCH] removed only made with the DB --- helm/software/components/metadata/metadataConstraints.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/helm/software/components/metadata/metadataConstraints.ml b/helm/software/components/metadata/metadataConstraints.ml index f9766a735..6c373f180 100644 --- a/helm/software/components/metadata/metadataConstraints.ml +++ b/helm/software/components/metadata/metadataConstraints.ml @@ -546,9 +546,11 @@ let compute_with_only ~(dbd:HMysql.dbd) ?(facts=false) ?(where = `Conclusion) maximal_prefixes) in (* Printf.fprintf stderr "all: %d\n" (List.length all);flush_all (); *) +(* List.filter (function (_,uri) -> -(* prerr_endline ("W" ^UriManager.string_of_uri uri); *) - at_most ~dbd ~where constants uri) all + at_most ~dbd ~where constants uri) +*) + all in let equal_to = compute_exactly ~dbd ~facts ~where main prefixes in greater_than @ equal_to -- 2.39.2