X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FmQueryGenerator.mli;h=2e4e59d5c0fc0f26b8b142c69fe537b6e43f3d51;hb=7d47820d03f154a86c966fb72c52f42b6c52176a;hp=57137974f8ad0d7e12b88273ebcb956d4bd5fcbf;hpb=86122a3ce11bdf45ecb93f8f7efaffa49bd31fa2;p=helm.git

diff --git a/helm/gTopLevel/mQueryGenerator.mli b/helm/gTopLevel/mQueryGenerator.mli
index 57137974f..2e4e59d5c 100644
--- a/helm/gTopLevel/mQueryGenerator.mli
+++ b/helm/gTopLevel/mQueryGenerator.mli
@@ -50,6 +50,6 @@ val execute_query     : MathQL.query -> MathQL.result
 
 val locate            : string -> MathQL.result
 
-val backward          : Cic.metasenv -> Cic.context -> Cic.term -> int -> MathQL.result
+val searchPattern     : Cic.metasenv -> Cic.context -> Cic.term -> int -> MathQL.result
 
 val get_query_info    : unit -> string list