- 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 97ff558745c23f75ffe3af2139e59a609db48def..0074b291668f9690936b5571ccc39aa7e0bb5d3e 100644 (file)
--- a/matita/components/grafite_parser/grafiteDisambiguate.mli
+++ b/matita/components/grafite_parser/grafiteDisambiguate.mli
@@ -25,15 +25,15 @@
 
 exception BaseUriNotSetYet
 
-class g_status :
-  object
-  inherit LexiconEngine.g_status
+class type g_status =
+ object
+  inherit LexiconTypes.g_status
   inherit NCicCoercion.g_status
-  end
+ end
 
 class status :
- object
-  inherit LexiconEngine.status
+ object ('self)
+  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
-    
-