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

diff --git a/src/cmdparse.y b/src/cmdparse.y
index bab369525f80e7d946b6102142787553f2188ccd..be402f9e4f0bf53045f43e07171fc51968737874 100644 (file)
--- a/src/cmdparse.y
+++ b/src/cmdparse.y
@@ -277,7 +277,6 @@ criteria:
     ;
 
 operations:
-    operation
     | operation optwhitespace
     | operations ',' optwhitespace operation
     ;