Minor

cvc5 · Jan 30, 2024 · 129a3ae · 129a3ae
1 parent a22b908
commit 129a3ae
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/expr_parser.cpp b/src/expr_parser.cpp
@@ -173,11 +173,11 @@ Expr ExprParser::parseExpr()
               // variables. Otherwise, we make calls to State::getBoundVar
               // meaning the bound variables are unique for each (name, type)
               // pair.
-              tok = d_lex.peekToken();
-              // We only do this if there is a left parenthesis. Otherwise we
+              // We only do this if there are two left parentheses. Otherwise we
               // will parse a tuple term that stands for a symbolic bound
-              // variable list.
-              if (tok==Token::LPAREN)
+              // variable list. We do this because there are no terms that
+              // begin ((... currently allowed in this parser.
+              if (d_lex.peekToken()==Token::LPAREN && d_lex.peekToken()==Token::LPAREN)
               {
                 nscopes = 1;
                 bool isLookup = !d_state.getOptions().d_binderFresh;