diff options
| author | Tim King <taking@google.com> | 2016-01-08 01:39:41 -0500 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2016-01-08 01:39:41 -0500 |
| commit | def0a07f9676a292a849d7fc8269ffd0901ce156 (patch) | |
| tree | 6223884841a05582c538a695a465515840293eb2 /src | |
| parent | 3a78a63994a4549816e26473ddb26d84e0dfd945 (diff) | |
Disabling the RESTART command.
Diffstat (limited to 'src')
| -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] ; |