diff --git a/src/parserAux.ml b/src/parserAux.ml index e3b4ddab9ff835a16790ee988b13e228031e1432..3f08102a22d46ca4945927e579518fb14204cc32 100644 --- a/src/parserAux.ml +++ b/src/parserAux.ml @@ -113,7 +113,7 @@ let rules () = rules := []; result -(* Only unamed producers can be referred using positional identifiers. +(* Only unnamed producers can be referred using positional identifiers. Besides, such positions must be taken in the interval [1 .. List.length producers]. The output array [p] is such that [p.(idx) = Some x] if [idx] must be referred using [x], not