From d8c62201d1598c23be67504082b7c51ddcf42678 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 --- components/metadata/metadataConstraints.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/components/metadata/metadataConstraints.ml b/components/metadata/metadataConstraints.ml index f9766a735..6c373f180 100644 --- a/components/metadata/metadataConstraints.ml +++ b/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