diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index caa3e471f..a47d58944 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1973,8 +1973,7 @@ identifier[CVC4::ParseOp& p] } | sym=SIMPLE_SYMBOL nonemptyNumeralList[numerals] { - p.d_expr = PARSER_STATE->mkIndexedOp(AntlrInput::tokenText($sym), numerals) - .getExpr(); + p.d_op = PARSER_STATE->mkIndexedOp(AntlrInput::tokenText($sym), numerals); } ) RPAREN_TOK |