diff options
-rw-r--r-- | src/parser/cvc/Cvc.g | 3 |
1 files changed, 2 insertions, 1 deletions
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] ; |