]> matita.cs.unibo.it Git - helm.git/blobdiff - components/metadata/metadataConstraints.mli
maxipatch for support of multiple DBs.
[helm.git] / components / metadata / metadataConstraints.mli
index a76c1fed7471aec5a0e07b29a2f94e21f746f823..bc83f65d7e876e19aedbce26fdbdea982a3b4aa4 100644 (file)
@@ -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 ->