X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fmatita%2FmatitaEngine.mli;h=3bbc6a1136354139151c8cf478bb1ce3c7e1a4f1;hb=bb9c48af6f729b0616a0fc5f1fd9037d4c3f2c89;hp=ceffc6f7fd8e87d96cfcdce1b531b965f841f142;hpb=42680d47c033d751738fd0f84af7b45b2a91a5b8;p=helm.git

diff --git a/matitaB/matita/matitaEngine.mli b/matitaB/matita/matitaEngine.mli
index ceffc6f7f..3bbc6a113 100644
--- a/matitaB/matita/matitaEngine.mli
+++ b/matitaB/matita/matitaEngine.mli
@@ -30,7 +30,7 @@ exception FailureCompiling of string * exn
 exception CircularDependency of string
 
 class status:
- string ->
+ string option -> string ->
   object
    inherit GrafiteTypes.status
    inherit ApplyTransformation.status