From: Matteo Selmi <matteo.selmi@mail.polimi.it>
Date: Wed, 17 Nov 2004 14:47:13 +0000 (+0000)
Subject: Resolved problem occured when "=" in MainConclusion
X-Git-Tag: PRE_UNIVERSES~25
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a7e03aee7257e05cba4225ee3bde1dbb8a6ee515;p=helm.git

Resolved problem occured when "=" in MainConclusion
---

diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml
index c5119433c..28973af97 100644
--- a/helm/ocaml/metadata/metadataConstraints.ml
+++ b/helm/ocaml/metadata/metadataConstraints.ml
@@ -547,7 +547,9 @@ let sigmatch ~(dbd:Mysql.dbd)
         let subsets = 
           let subsets = power constants in
           let types_no = List.length types in
-          List.map (function (n,l) -> (n+types_no,types@l)) subsets
+	  if types_no > 0 then  
+          (0,[]) :: List.map (function (n,l) -> (n+types_no,types@l)) subsets
+	  else subsets
         in
         compute_exactly ~dbd ~facts ~where main subsets