X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Ftactics%2FmetadataQuery.mli;h=0d32e4835c39ec8442b75bf88e826aa08e7778bd;hb=0aaed6f96b856d1181a3cd1f2ef3ea4a91990771;hp=4ae870a4f4e484c2e6eb19665809f32ae514ddfc;hpb=3d45448d06307244c530a9e52d33e4a3723eec55;p=helm.git

diff --git a/helm/ocaml/tactics/metadataQuery.mli b/helm/ocaml/tactics/metadataQuery.mli
index 4ae870a4f..0d32e4835 100644
--- a/helm/ocaml/tactics/metadataQuery.mli
+++ b/helm/ocaml/tactics/metadataQuery.mli
@@ -29,7 +29,7 @@
   * is interpreted as 0 or more characters and "?" as exactly one character *)
 val locate:
   dbd:Mysql.dbd ->
-  ?vars:bool -> ?owner:string -> string -> string list
+  ?vars:bool -> string -> string list
 
 val hint:
   dbd:Mysql.dbd ->