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();