From def0a07f9676a292a849d7fc8269ffd0901ce156 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Fri, 8 Jan 2016 01:39:41 -0500
Subject: Disabling the RESTART command.

---
 src/parser/cvc/Cvc.g | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g
index 5c477f2e2..21e01e7ed 100644
--- 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]
   ;
 
-- 
cgit v1.2.3