Cleanup

diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g
index 85939dd22725688c129be243e2576809d3c019fe..ead8caa207b86d757462388c9cb3ea1a73962836 100644 (file)
--- a/src/parser/cvc/Cvc.g
+++ b/src/parser/cvc/Cvc.g
@@ -1465,10 +1465,6 @@ arithmeticBinop[unsigned& op]
   | EXP_TOK
   ;
 
-moreArrayStores[CVC4::Expr& f]
-  : COMMA arrayStore[f]
-  ;
-
 /** Parses an array/tuple/record assignment term. */
 term[CVC4::Expr& f]
 @init {