X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FapplyTransformation.mli;h=5a399b663f10399b5bd0bdefd334060c34bf9736;hb=1083ac3b1acac5f1ac1fa40a9a417dd9d268dced;hp=0aeec3f8cfed93922d74d03a7886f795e01853c9;hpb=b3be8ee41041a90005740cfa106109e0c83db13f;p=helm.git

diff --git a/matitaB/matita/applyTransformation.mli b/matitaB/matita/applyTransformation.mli
index 0aeec3f8c..5a399b663 100644
--- a/matitaB/matita/applyTransformation.mli
+++ b/matitaB/matita/applyTransformation.mli
@@ -36,6 +36,7 @@
 val use_high_level_pretty_printer: bool ref
 
 class status :
+ string option ->
  object
   inherit NCic.cstatus
   inherit Interpretations.status