X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FmetadataDb.mli;h=a5b0d27534bd2146e1efc557445dfcca35757269;hb=fdd8107cc53f5e862004aa5fcd48593ee5634234;hp=17d6fc0947f4b5647e6494a0efe985d53e2d962f;hpb=c66e9d17eda5e5defcb363e42d891d2b407cf7c3;p=helm.git

diff --git a/helm/ocaml/metadata/metadataDb.mli b/helm/ocaml/metadata/metadataDb.mli
index 17d6fc094..a5b0d2753 100644
--- a/helm/ocaml/metadata/metadataDb.mli
+++ b/helm/ocaml/metadata/metadataDb.mli
@@ -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
+