X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatitaprover.mli;h=e0b9cbf0b3d60ed7864024fed86508c34c7b216a;hb=effab341df3fb2bfe403e51d360e81c8b0455e1a;hp=6295136b5c6b04df0e7eebc81460702c67b0382d;hpb=0a50912f2577243a1f9e4068b02877b8e61181c9;p=helm.git

diff --git a/helm/software/matita/matitaprover.mli b/helm/software/matita/matitaprover.mli
index 6295136b5..e0b9cbf0b 100644
--- a/helm/software/matita/matitaprover.mli
+++ b/helm/software/matita/matitaprover.mli
@@ -25,5 +25,5 @@
 
 val main: unit -> unit
 
-val p_to_ma: tptppath:string -> filename:string -> string
+val p_to_ma: ?timeout:int -> tptppath:string -> filename:string -> unit -> string