X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FapplyTransformation.mli;h=5a399b663f10399b5bd0bdefd334060c34bf9736;hb=7666f9dddfcaca5671dd25d3cd2095481968c7bf;hp=d5886abd8a7e8b82aff0fae35b121264238560d4;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/matita/applyTransformation.mli b/matitaB/matita/applyTransformation.mli
index d5886abd8..5a399b663 100644
--- a/matitaB/matita/applyTransformation.mli
+++ b/matitaB/matita/applyTransformation.mli
@@ -36,10 +36,11 @@
 val use_high_level_pretty_printer: bool ref
 
 class status :
+ string option ->
  object
   inherit NCic.cstatus
   inherit Interpretations.status
-  inherit TermContentPres.status
+  inherit TermContentPres.status 
  end
 
 val ntxt_of_cic_sequent: