From 26a58712246fab202250f3d994b3ea56c576c992 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 25 Oct 2004 12:49:27 +0000 Subject: [PATCH] added vars selection boolean on locate --- helm/ocaml/tactics/metadataQuery.mli | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/helm/ocaml/tactics/metadataQuery.mli b/helm/ocaml/tactics/metadataQuery.mli index 2a97a283f..54985ef68 100644 --- a/helm/ocaml/tactics/metadataQuery.mli +++ b/helm/ocaml/tactics/metadataQuery.mli @@ -23,7 +23,11 @@ * http://helm.cs.unibo.it/ *) -val locate: dbh:Dbi.connection -> string -> string list + (** @param vars if set variables (".var" URIs) are considered. Defaults to + * false *) +val locate: + dbh:Dbi.connection -> + ?vars:bool -> string -> string list val hint: dbh:Dbi.connection -> -- 2.39.2