added homepage URL, now we have one

[helm.git] / helm / ocaml / cic_notation / cicNotationParser.mli

diff --git a/helm/ocaml/cic_notation/cicNotationParser.mli b/helm/ocaml/cic_notation/cicNotationParser.mli
index 048551915712c1fca2f2176cf811ae3417164c3b..80d79ef448e5f664bbd5153b832b5b3f934afa41 100644 (file)
--- 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) ->