X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fgrafite_engine%2FgrafiteTypes.ml;h=f4ec3309c27976ff7f0510a2db466da7593329d7;hb=e79c8b830f9f6b0c3f4d577909e32e1bb4032cdf;hp=5b34158c41a643bbd556a6b811db8bd6d5cae19c;hpb=9dac2c325dca1b5b92d6ba11dadf470538bae28e;p=helm.git

diff --git a/matitaB/components/grafite_engine/grafiteTypes.ml b/matitaB/components/grafite_engine/grafiteTypes.ml
index 5b34158c4..f4ec3309c 100644
--- a/matitaB/components/grafite_engine/grafiteTypes.ml
+++ b/matitaB/components/grafite_engine/grafiteTypes.ml
@@ -39,7 +39,7 @@ class virtual status = fun (uid : string option) (b : string) ->
   object
    (* Warning: #stack and #obj are meaningful iff #ng_mode is `ProofMode *)
    inherit ([Continuationals.Stack.t] NTacStatus.status uid fake_obj (Continuationals.Stack.empty))
-   inherit NCicLibrary.dumpable_status
+   inherit NCicLibrary.dumpable_status uid
    inherit NCicLibrary.status uid
    inherit GrafiteDisambiguate.status uid
    inherit GrafiteParser.status uid