X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fgrafite_engine%2FgrafiteTypes.ml;h=06cf9b9687d5a43c6cf96bf0b3129e717cc3c586;hb=3ba4306ecd693b48f70ecbe9916aec6975373549;hp=573fa28c9adbc639b54b6f03c84af5bdd52019c7;hpb=cd664aefb80554952ed9b010f0c5199ce3a6f8f2;p=helm.git

diff --git a/matita/components/grafite_engine/grafiteTypes.ml b/matita/components/grafite_engine/grafiteTypes.ml
index 573fa28c9..06cf9b968 100644
--- a/matita/components/grafite_engine/grafiteTypes.ml
+++ b/matita/components/grafite_engine/grafiteTypes.ml
@@ -42,6 +42,7 @@ class status = fun (b : string) ->
    inherit NCicLibrary.dumpable_status
    inherit NCicLibrary.status
    inherit GrafiteParser.status
+   inherit TermContentPres.status
    val baseuri = b
    val ng_mode = (`CommandMode : [`CommandMode | `ProofMode])
    method baseuri = baseuri
@@ -51,4 +52,8 @@ class status = fun (b : string) ->
  end
 
 module Serializer =
- NCicLibrary.Serializer(struct type dumpable_status = status end)
+ NCicLibrary.Serializer(struct
+  type dumpable_s = status
+  let get status = (status : #status :> NCicLibrary.dumpable_status)
+  let set (status : dumpable_s) dump_status = status#set_dumpable_status dump_status
+ end)