MetadataDb.clean doesn't need ~owner since table names are ownerized ;)

[helm.git] / helm / ocaml / metadata / metadataDb.mli

diff --git a/helm/ocaml/metadata/metadataDb.mli b/helm/ocaml/metadata/metadataDb.mli
index a1d7404bbe2acb7bb1a50282a640083dd3904891..79bc82240f329ec2a092610c00fb0ff5aca19a27 100644 (file)
--- a/helm/ocaml/metadata/metadataDb.mli
+++ b/helm/ocaml/metadata/metadataDb.mli
@@ -43,5 +43,5 @@ val index_inductive_def:
 (* TODO Zack indexing of variables and (perhaps?) incomplete proofs *)
 
   (** remove from the db all metadata pertaining to a given owner *)
-val clean: dbd:Mysql.dbd -> owner:string -> unit
+val clean: dbd:Mysql.dbd -> unit