diff options
Diffstat (limited to 'src/parser/cvc')
| -rw-r--r-- | src/parser/cvc/cvc_parser.g | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/parser/cvc/cvc_parser.g b/src/parser/cvc/cvc_parser.g index cb9c9b160..1cbdbd067 100644 --- a/src/parser/cvc/cvc_parser.g +++ b/src/parser/cvc/cvc_parser.g @@ -87,10 +87,9 @@ identifierList[std::vector<std::string>& idList, DeclarationCheck check = CHECK_ * Matches an identifier and returns a string. */ identifier[DeclarationCheck check = CHECK_NONE] returns [std::string id] - : x:IDENTIFIER { checkDeclation(x->getText(), check) }? - { - id = x->getText(); - } + : x:IDENTIFIER + { id = x->getText(); } + { checkDeclaration(id, check) }? exception catch [antlr::SemanticException& ex] { switch (check) { case CHECK_DECLARED: rethrow(ex, "Symbol " + id + " not declared"); |