greedy option should imply no error msgs

Owned by TerenceP
Last updated: Jul 26, 2006Version comment
1 min read

This should not yield an error message:

( options {greedy=true;} : '[' ']' )+ '[' ']'