From: Tim King <taking@google.com>
Date: Fri, 8 Jan 2016 06:39:41 +0000 (-0500)
Subject: Disabling the RESTART command.
X-Git-Tag: cvc5-1.0.0~6114
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=def0a07f9676a292a849d7fc8269ffd0901ce156;p=cvc5.git

Disabling the RESTART command.
---

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]
   ;