X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FmetadataConstraints.mli;h=bc83f65d7e876e19aedbce26fdbdea982a3b4aa4;hb=111df95ac03f2ee21dfa2422a7f531f675b1c16d;hp=a76c1fed7471aec5a0e07b29a2f94e21f746f823;hpb=2ce7fd1b8d48f86d1f93231fe35473551cd060e7;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 ->