From eced186d1f44bb1220a32ba23dddcda351d0f562 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 7 Feb 2026 09:35:28 +0000
Subject: [PATCH] Revert prexpr to non-static for debugging availability

Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
---
 src/ast/ast.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
 }