diff --git a/reference/parle/parle/parser/push.xml b/reference/parle/parle/parser/push.xml index fdef318468..a40783867c 100644 --- a/reference/parle/parle/parser/push.xml +++ b/reference/parle/parle/parser/push.xml @@ -15,7 +15,7 @@ stringrule - + Push a grammar rule. The production id returned can be used later in the parsing process to identify the rule matched.