From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Wed, 27 Oct 2004 10:03:41 +0000 (+0000)
Subject: Bug fixing.
X-Git-Tag: V_0_0_10~6
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9ab46e3c1b1766cce0299604cd07db6356c8b9a9;p=helm.git

Bug fixing.
---

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