X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FmetadataConstraints.mli;h=bc83f65d7e876e19aedbce26fdbdea982a3b4aa4;hb=dcdbb979433a61e2ef2842d96604098728824416;hp=a76c1fed7471aec5a0e07b29a2f94e21f746f823;hpb=ac741958783108ff31552e533c853e85c2ebb1c5;p=helm.git

diff --git a/helm/software/components/metadata/metadataConstraints.mli b/helm/software/components/metadata/metadataConstraints.mli
index a76c1fed7..bc83f65d7 100644
--- a/helm/software/components/metadata/metadataConstraints.mli
+++ b/helm/software/components/metadata/metadataConstraints.mli
@@ -101,6 +101,7 @@ val add_all_constr:
   int * string list * string list
 
 val exec: 
+  HSql.dbtype ->
   dbd:HSql.dbd ->
   ?rating:[ `Hits ] -> 
   int * string list * string list ->