Keeping track of locations of disambiguated ids and symbols.

[helm.git] / matitaB / components / grafite_engine / grafiteTypes.ml

diff --git a/matitaB/components/grafite_engine/grafiteTypes.ml b/matitaB/components/grafite_engine/grafiteTypes.ml
index 7cb6bef0c37877feb62dd3bf90bd8755e181d2f1..bfbb982c79bedd5c3221624c5710500e19c43a8d 100644 (file)
--- 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