notation kind of works

[helm.git] / matita / components / content_pres / cicNotationParser.mli

diff --git a/matita/components/content_pres/cicNotationParser.mli b/matita/components/content_pres/cicNotationParser.mli
index b70eb141f7ad2a3b3da7bab8bb276cd936748325..62262c14c5f66880115028f912099b40f1e1deae 100644 (file)
--- 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