Matitaweb: Fixes a bug in the extensible parser which caused Matita to crash

[helm.git] / matitaB / components / content_pres / cicNotationLexer.mli

diff --git a/matitaB/components/content_pres/cicNotationLexer.mli b/matitaB/components/content_pres/cicNotationLexer.mli
index 13f0150a8970da102d5794d4d43d4bb69d723a93..ee96b552cb661a09552b4bcdc2f83a303804f9da 100644 (file)
--- a/matitaB/components/content_pres/cicNotationLexer.mli
+++ b/matitaB/components/content_pres/cicNotationLexer.mli
@@ -39,6 +39,8 @@ type lexers = {
       level2_meta_lexer : (string * string) Token.glexer
 }
 
+val initial_keywords : string list 
+
 val mk_lexers : 
   (string option * string option) LocalizeEnv.t ref -> string list -> lexers