From 291921b308fbf37c356019877c4b012f49261ac8 Mon Sep 17 00:00:00 2001 From: Matteo Selmi Date: Wed, 17 Nov 2004 12:48:55 +0000 Subject: [PATCH] Removed duplicated uri in sigmatch --- helm/ocaml/metadata/metadataConstraints.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml index 5dcfae44d..c5119433c 100644 --- a/helm/ocaml/metadata/metadataConstraints.ml +++ b/helm/ocaml/metadata/metadataConstraints.ml @@ -547,7 +547,7 @@ let sigmatch ~(dbd:Mysql.dbd) let subsets = let subsets = power constants in let types_no = List.length types in - (0,[]) :: List.map (function (n,l) -> (n+types_no,types@l)) subsets + List.map (function (n,l) -> (n+types_no,types@l)) subsets in compute_exactly ~dbd ~facts ~where main subsets -- 2.39.2