remove usless 'operation' token, already handled by 'operation optwhitespace'

This commit is contained in:
Michael Stapelberg 2011-03-14 22:29:07 +01:00
parent 18215445f8
commit 8928823e07

View File

@ -277,7 +277,6 @@ criteria:
; ;
operations: operations:
operation
| operation optwhitespace | operation optwhitespace
| operations ',' optwhitespace operation | operations ',' optwhitespace operation
; ;