tagging rc-1

[helm.git] / matita / matitaprover.mli

diff --git a/matita/matitaprover.mli b/matita/matitaprover.mli
index 6295136b5c6b04df0e7eebc81460702c67b0382d..e0b9cbf0b3d60ed7864024fed86508c34c7b216a 100644 (file)
--- 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