- split metadata type in metadata and constraints. Metadata are computed

[helm.git] / helm / ocaml / metadata / metadataConstraints.mli

diff --git a/helm/ocaml/metadata/metadataConstraints.mli b/helm/ocaml/metadata/metadataConstraints.mli
index 59cb0427eb26edbaff92dab9481a92be55bae6d7..ec6d81f38d35a53c9f7abfc5a03658c5825a646f 100644 (file)
--- a/helm/ocaml/metadata/metadataConstraints.mli
+++ b/helm/ocaml/metadata/metadataConstraints.mli
@@ -57,7 +57,7 @@ val at_least:
   dbh:Dbi.connection ->
   ?concl_card:cardinality_condition ->
   ?full_card:cardinality_condition ->
-  MetadataTypes.metadata list ->
+  MetadataTypes.constr list ->
     string list
 
 val signature_of: Cic.term -> term_signature