Resolved problem occured when "=" in MainConclusion

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