1) Include files for NG were neither recursively processes nor accumulated.

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

diff --git a/helm/software/components/content_pres/cicNotationParser.mli b/helm/software/components/content_pres/cicNotationParser.mli
index 433711edd29ab9c5620641ace4704fa073b0c352..ba9003e90619594f5edcf108edb85cd6a4542e7c 100644 (file)
--- a/helm/software/components/content_pres/cicNotationParser.mli
+++ b/helm/software/components/content_pres/cicNotationParser.mli
@@ -44,8 +44,8 @@ type rule_id
 
 val compare_rule_id : rule_id -> rule_id -> int
 
-val check_l1_pattern: (* level1_pattern *)
- CicNotationPt.term -> int -> Gramext.g_assoc -> checked_l1_pattern
+val check_l1_pattern: (* level1_pattern, pponly, precedence, assoc *)
+ CicNotationPt.term -> bool ->  int -> Gramext.g_assoc -> checked_l1_pattern
 
 val extend:
   checked_l1_pattern ->