]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/metadataDb.mli
added "unindex" to undo indexing of a single object
[helm.git] / helm / ocaml / metadata / metadataDb.mli
index 17d6fc0947f4b5647e6494a0efe985d53e2d962f..a5b0d27534bd2146e1efc557445dfcca35757269 100644 (file)
@@ -44,3 +44,5 @@ val index_inductive_def:
   * @return list of uris removed from the db *)
 val clean: dbd:Mysql.dbd -> string list
 
+val unindex: dbd:Mysql.dbd -> uri:UriManager.uri -> unit
+