From a7e03aee7257e05cba4225ee3bde1dbb8a6ee515 Mon Sep 17 00:00:00 2001 From: Matteo Selmi Date: Wed, 17 Nov 2004 14:47:13 +0000 Subject: [PATCH] Resolved problem occured when "=" in MainConclusion --- helm/ocaml/metadata/metadataConstraints.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- 2.39.2