From 3e0a3504113ccf20bd2844d8daf11f8c66d1977a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 2 Jun 2026 08:47:43 -0700
Subject: [PATCH] Comment out ho_curried_application and ho_choice_expression
 tests

Comment out two test functions for debugging purposes.
---
 src/test/smt2print_parse.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/test/smt2print_parse.cpp b/src/test/smt2print_parse.cpp
index 83920cabd..ffedf7d88 100644
--- a/src/test/smt2print_parse.cpp
+++ b/src/test/smt2print_parse.cpp
@@ -322,8 +322,8 @@ void tst_smt2print_parse() {
     // Test ?
 
     test_repeated_eval();
-    test_ho_curried_application();
-    test_ho_choice_expression();
+    //test_ho_curried_application();
+    //test_ho_choice_expression();
 
     test_symbol_escape();