From 77f8b337941c2e18491e8df867c23e2fafd7b328 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 2 Jun 2026 10:39:41 -0700
Subject: [PATCH] re-enable unit tests

---
 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 ffedf7d88..83920cabd 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();