diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index 5edeeb7b1..ac2cb843c 100644
--- a/src/ast/ast.cpp
+++ b/src/ast/ast.cpp
@@ -3505,7 +3505,7 @@ void scoped_mark::pop_scope(unsigned num_scopes) {
 
 // show an expr_ref on stdout
 
-static void prexpr(expr_ref &e){
+void prexpr(expr_ref &e){
     std::cout << mk_pp(e.get(), e.get_manager()) << std::endl;
 }