- LexiconAst merged into GrafiteAst

[helm.git] / matita / components / grafite_parser / grafiteDisambiguate.mli

diff --git a/matita/components/grafite_parser/grafiteDisambiguate.mli b/matita/components/grafite_parser/grafiteDisambiguate.mli
index 200d507a89d57db270a18ea3b920b08b842e8cb1..0074b291668f9690936b5571ccc39aa7e0bb5d3e 100644 (file)
--- 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
-    
-