X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fgrafite_engine%2FgrafiteTypes.ml;h=bfbb982c79bedd5c3221624c5710500e19c43a8d;hb=92b9fb7c477eb1b0dbf5d921555d9a0295d0e46d;hp=7cb6bef0c37877feb62dd3bf90bd8755e181d2f1;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/grafite_engine/grafiteTypes.ml b/matitaB/components/grafite_engine/grafiteTypes.ml
index 7cb6bef0c..bfbb982c7 100644
--- a/matitaB/components/grafite_engine/grafiteTypes.ml
+++ b/matitaB/components/grafite_engine/grafiteTypes.ml
@@ -41,6 +41,7 @@ class virtual status = fun (b : string) ->
    inherit ([Continuationals.Stack.t] NTacStatus.status fake_obj (Continuationals.Stack.empty))
    inherit NCicLibrary.dumpable_status
    inherit NCicLibrary.status
+   inherit GrafiteDisambiguate.status
    inherit GrafiteParser.status
    inherit TermContentPres.status
    val baseuri = b