Compilation fix

[helm.git] / matitaB / matita / applyTransformation.mli

diff --git a/matitaB/matita/applyTransformation.mli b/matitaB/matita/applyTransformation.mli
index d5886abd8a7e8b82aff0fae35b121264238560d4..0aeec3f8cfed93922d74d03a7886f795e01853c9 100644 (file)
--- 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: