X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2FcicNotationParser.mli;h=62262c14c5f66880115028f912099b40f1e1deae;hb=30bbfa78612ca1ad0c131a75d7075cfd35bebbe1;hp=b70eb141f7ad2a3b3da7bab8bb276cd936748325;hpb=cd664aefb80554952ed9b010f0c5199ce3a6f8f2;p=helm.git

diff --git a/matita/components/content_pres/cicNotationParser.mli b/matita/components/content_pres/cicNotationParser.mli
index b70eb141f..62262c14c 100644
--- a/matita/components/content_pres/cicNotationParser.mli
+++ b/matita/components/content_pres/cicNotationParser.mli
@@ -33,7 +33,7 @@ class type g_status =
   method notation_parser_db: db
  end
 
-class status:
+class status: keywords:string list ->
  object('self)
   inherit g_status
   method set_notation_parser_db: db -> 'self