notation kind of works

[helm.git] / matita / components / lexicon / lexiconTypes.ml

diff --git a/matita/components/lexicon/lexiconTypes.ml b/matita/components/lexicon/lexiconTypes.ml
index f0cf759466dbd4c7598a53a356bf107b2db3ffab..5e6a0a326d91b51cc9c4c832a77f664c79a3f301 100644 (file)
--- a/matita/components/lexicon/lexiconTypes.ml
+++ b/matita/components/lexicon/lexiconTypes.ml
@@ -47,7 +47,7 @@ class status =
  object(self)
   inherit Interpretations.status
   inherit TermContentPres.status
-  inherit CicNotationParser.status
+  inherit CicNotationParser.status ~keywords:[]
   val lstatus = initial_status
   method lstatus = lstatus
   method set_lstatus v = {< lstatus = v >}