Disabling the RESTART command.

diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g
index 5c477f2e24172ed4739e4bc56a23831fcbb24445..21e01e7ede0484c30c21778cb963cd7555587517 100644 (file)
--- a/src/parser/cvc/Cvc.g
+++ b/src/parser/cvc/Cvc.g
@@ -80,6 +80,7 @@ tokens {
   COUNTERMODEL_TOK = 'COUNTERMODEL';
   ARITH_VAR_ORDER_TOK = 'ARITH_VAR_ORDER';
   CONTINUE_TOK = 'CONTINUE';
+  RESTART_TOK = 'RESTART';
 
   /* operators */
 
@@ -834,7 +835,7 @@ mainCommand[CVC4::Command*& cmd]
 
   | CONTINUE_TOK
     { UNSUPPORTED("CONTINUE command"); }
-
+  | RESTART_TOK formula[f] { UNSUPPORTED("RESTART command"); }
   | toplevelDeclaration[cmd]
   ;