From 9ab46e3c1b1766cce0299604cd07db6356c8b9a9 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Wed, 27 Oct 2004 10:03:41 +0000 Subject: [PATCH] Bug fixing. --- helm/ocaml/metadata/metadataConstraints.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml index 3a0b63d9e..fb782494a 100644 --- a/helm/ocaml/metadata/metadataConstraints.ml +++ b/helm/ocaml/metadata/metadataConstraints.ml @@ -481,7 +481,7 @@ let cmatch ~(dbh:Dbi.connection) t = (* in this case we compute all prefixes, and we do not need to apply the only constraints *) let prefixes = - if constants_no = 0 then + if constants_no = types_no then Some main, [0, []; types_no, types] else prefixes constants_no t -- 2.39.2