Removed duplicated uri in sigmatch

diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml
index 5dcfae44df4a831545956859f61ae1ad3f88e633..c5119433c988343b13b2aace187b869ab349ee82 100644 (file)
--- 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