X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationParser.mli;h=80d79ef448e5f664bbd5153b832b5b3f934afa41;hb=3e8363bec852afb37160d8144db8d94bbff447d6;hp=048551915712c1fca2f2176cf811ae3417164c3b;hpb=2817260358878e72fa359c6d2431b4c7c358a841;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationParser.mli b/helm/ocaml/cic_notation/cicNotationParser.mli
index 048551915..80d79ef44 100644
--- a/helm/ocaml/cic_notation/cicNotationParser.mli
+++ b/helm/ocaml/cic_notation/cicNotationParser.mli
@@ -40,7 +40,7 @@ val parse_level2_meta: char Stream.t -> CicNotationPt.term
 type rule_id
 
 val extend:
-  CicNotationPt.term ->
+  CicNotationPt.term -> (* level 1 pattern *)
   precedence:int ->
   associativity:Gramext.g_assoc ->
   (CicNotationEnv.t -> CicNotationPt.location -> CicNotationPt.term) ->