Bug fixing.

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