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

diff --git a/matita/matitaprover.mli b/matita/matitaprover.mli
index 6295136b5..e0b9cbf0b 100644
--- a/matita/matitaprover.mli
+++ b/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