big change in parsing, trying to make all functional

[helm.git] / matita / components / lexicon / lexiconEngine.mli

diff --git a/matita/components/lexicon/lexiconEngine.mli b/matita/components/lexicon/lexiconEngine.mli
index 7e87a22e03071cbf57f360880eb96c890d5038b6..ad1ce3f86bf30af90cfebaee806340b07fa45b3a 100644 (file)
--- a/matita/components/lexicon/lexiconEngine.mli
+++ b/matita/components/lexicon/lexiconEngine.mli
@@ -29,7 +29,6 @@ type lexicon_status = {
   aliases: LexiconAst.alias_spec DisambiguateTypes.Environment.t;
   multi_aliases: LexiconAst.alias_spec list DisambiguateTypes.Environment.t;
   lexicon_content_rev: LexiconMarshal.lexicon;
-  notation_ids: CicNotation.notation_id list;      (** in-scope notation ids *)
 }
 
 class type g_status =