From 8928823e07352615165f7e7399728143002f2563 Mon Sep 17 00:00:00 2001 From: Michael Stapelberg Date: Mon, 14 Mar 2011 22:29:07 +0100 Subject: [PATCH] remove usless 'operation' token, already handled by 'operation optwhitespace' --- src/cmdparse.y | 1 - 1 file changed, 1 deletion(-) diff --git a/src/cmdparse.y b/src/cmdparse.y index bab36952..be402f9e 100644 --- a/src/cmdparse.y +++ b/src/cmdparse.y @@ -277,7 +277,6 @@ criteria: ; operations: - operation | operation optwhitespace | operations ',' optwhitespace operation ;