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

diff --git a/matitaB/matita/applyTransformation.mli b/matitaB/matita/applyTransformation.mli
index d5886abd8..0aeec3f8c 100644
--- a/matitaB/matita/applyTransformation.mli
+++ b/matitaB/matita/applyTransformation.mli
@@ -39,7 +39,7 @@ class status :
  object
   inherit NCic.cstatus
   inherit Interpretations.status
-  inherit TermContentPres.status
+  inherit TermContentPres.status 
  end
 
 val ntxt_of_cic_sequent: