- LexiconAst merged into GrafiteAst

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

diff --git a/matita/components/grafite_parser/cicNotation2.mli b/matita/components/grafite_parser/cicNotation2.mli
index 6c9c44167256b8e2da2fe063941a4e4ed2aabedb..d6cdfe852dbc6b85810ee931ad2bfe75fa8c76cc 100644 (file)
--- a/matita/components/grafite_parser/cicNotation2.mli
+++ b/matita/components/grafite_parser/cicNotation2.mli
@@ -25,5 +25,5 @@
 
 (** @param fname file from which load notation *)
 val load_notation:
- #LexiconEngine.status as 'status -> include_paths:string list -> string ->
+ #LexiconTypes.status as 'status -> include_paths:string list -> string ->
   'status