X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FapplyTransformation.ml;h=236e59def34becbb6654780f2d3f7d42779fbc18;hb=f9f775a550264a8dc9ce7ea9a48b79892a122c3c;hp=da250c912926f0491086a8556b477664e7251ba0;hpb=2a59f55f4625ebabb02aefc3cb8c8842040be554;p=helm.git

diff --git a/matita/matita/applyTransformation.ml b/matita/matita/applyTransformation.ml
index da250c912..236e59def 100644
--- a/matita/matita/applyTransformation.ml
+++ b/matita/matita/applyTransformation.ml
@@ -35,6 +35,12 @@
 
 (* $Id$ *)
 
+class status =
+ object
+  inherit Interpretations.status
+  inherit TermContentPres.status
+ end
+
 let mpres_document pres_box =
   Xml.add_xml_declaration (CicNotationPres.print_box pres_box)