diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 15:15:45 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 15:15:45 -0400 |
commit | 9323af51596eece5107b6ee4f7423ad56c9385b8 (patch) | |
tree | 65675635487223e5e679dd49cf8703ae1752ef19 /src/parser | |
parent | 6294adeb83155c54539b2d2d31fa9e3a5b6f1a00 (diff) | |
parent | 65f0dc22fe49c6c388e9413f3b7541d7fb49a3b3 (diff) |
Merge branch '1.4.x'
Conflicts:
NEWS
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/cvc/Cvc.g | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index 74c236dd1..aad365563 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -635,6 +635,13 @@ command returns [CVC4::Command* cmd = NULL] cmd = new EmptyCommand(); } } + | IDENTIFIER SEMICOLON + { std::stringstream ss; + ss << "Unrecognized command `" + << AntlrInput::tokenText($IDENTIFIER) + << "'"; + PARSER_STATE->parseError(ss.str()); + } ; typeOrVarLetDecl[CVC4::parser::DeclarationCheck check] |