X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FtacticChaser.mli;h=f514360acc8a16a24ad6f96e937ecf21902ad457;hb=09151f33b14507e4d20380f3100a6db5f49f3f46;hp=b5acbf7cbcac04ff44dfb6332b7c1370fadf4f03;hpb=28f262128cd08dfaad435f73d3f4eee5976993d6;p=helm.git

diff --git a/helm/ocaml/tactics/tacticChaser.mli b/helm/ocaml/tactics/tacticChaser.mli
index b5acbf7cb..f514360ac 100644
--- a/helm/ocaml/tactics/tacticChaser.mli
+++ b/helm/ocaml/tactics/tacticChaser.mli
@@ -23,7 +23,7 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val searchPattern :
+val searchPattern : MQIConn.handle ->
   ?output_html:(string -> unit) ->
     (* boolean value: true = in main position *)
   choose_must:((MQueryGenerator.uri * bool) list list ->