X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_parser%2FgrafiteDisambiguate.mli;h=0074b291668f9690936b5571ccc39aa7e0bb5d3e;hb=cd664aefb80554952ed9b010f0c5199ce3a6f8f2;hp=200d507a89d57db270a18ea3b920b08b842e8cb1;hpb=a5709dff43233c041f77a4ee4b7f2df1a3c51ab6;p=helm.git

diff --git a/matita/components/grafite_parser/grafiteDisambiguate.mli b/matita/components/grafite_parser/grafiteDisambiguate.mli
index 200d507a8..0074b2916 100644
--- a/matita/components/grafite_parser/grafiteDisambiguate.mli
+++ b/matita/components/grafite_parser/grafiteDisambiguate.mli
@@ -27,13 +27,13 @@ exception BaseUriNotSetYet
 
 class type g_status =
  object
-  inherit LexiconEngine.g_status
+  inherit LexiconTypes.g_status
   inherit NCicCoercion.g_status
  end
 
 class status :
  object ('self)
-  inherit LexiconEngine.status
+  inherit LexiconTypes.status
   inherit NCicCoercion.status
   method set_grafite_disambiguate_status: #g_status -> 'self
  end
@@ -57,5 +57,3 @@ type pattern =
 
 val disambiguate_npattern:
   GrafiteAst.npattern Disambiguate.disambiguator_input -> pattern
-    
-