diff --git a/src/test/expr_rand.cpp b/src/test/expr_rand.cpp
index f1b20ba8e..f04cfe74f 100644
--- a/src/test/expr_rand.cpp
+++ b/src/test/expr_rand.cpp
@@ -43,7 +43,7 @@ void tst_expr_arith(unsigned num_files) {
         buffer << "random_arith_" << i << ".smt";
         std::cout << buffer.str() << "\n";
         std::ofstream file(buffer.str().c_str());
-        pp.display(file, e.get());
+        pp.display_smt2(file, e.get());
         file.close();
     }
     
@@ -86,7 +86,7 @@ void tst_expr_rand(unsigned num_files) {
         buffer << "random_bv_" << i << ".smt";
         std::cout << buffer.str() << "\n";
         std::ofstream file(buffer.str().c_str());
-        pp.display(file, e.get());
+        pp.display_smt2(file, e.get());
         file.close();
 
     }