From 1aa2158bf41b157952ef7e52f4ad82e97bfdb55d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 27 May 2026 09:02:39 -0700
Subject: [PATCH] fix comment

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/parsers/smt2/smt2parser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parsers/smt2/smt2parser.cpp b/src/parsers/smt2/smt2parser.cpp
index 3c409ab17..ca888b12d 100644
--- a/src/parsers/smt2/smt2parser.cpp
+++ b/src/parsers/smt2/smt2parser.cpp
@@ -2140,7 +2140,7 @@ namespace smt2 {
             SASSERT(num_decls <= m_num_bindings);
             m_num_bindings -= num_decls;
             if (fr->m_kind == choice_k) {
-                // create expression (select choice new_q)
+                // create expression (choice new_q)
                 // add to expr_stack().push_back(choice_expr);
                 // 
                 throw default_exception("parsing of choice expressions is NYI");