diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 66831c0c4..eca32cb83 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1931,12 +1931,12 @@ qualIdentifier[CVC4::ParseOp& p] ( CONST_TOK sortSymbol[type, CHECK_DECLARED] { p.d_kind = kind::STORE_ALL; - PARSER_STATE->applyTypeAscription(p, type); + PARSER_STATE->parseOpApplyTypeAscription(p, type); } | identifier[p] sortSymbol[type, CHECK_DECLARED] { - PARSER_STATE->applyTypeAscription(p, type); + PARSER_STATE->parseOpApplyTypeAscription(p, type); } ) RPAREN_TOK |