From: Matteo Selmi <matteo.selmi@mail.polimi.it>
Date: Wed, 17 Nov 2004 12:48:55 +0000 (+0000)
Subject: Removed duplicated uri in sigmatch
X-Git-Tag: PRE_UNIVERSES~26
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=291921b308fbf37c356019877c4b012f49261ac8;p=helm.git

Removed duplicated uri in sigmatch
---

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