From 52885a4d620fffeee978185127fcc39d0a09129f Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 6 Feb 2026 23:19:16 +0000
Subject: [PATCH] Add static linkage to internal functions

Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
---
 src/api/z3_replayer.cpp | 2 +-
 src/ast/ast.cpp         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/z3_replayer.cpp b/src/api/z3_replayer.cpp
index 6af8b2e0b..f044cb142 100644
--- a/src/api/z3_replayer.cpp
+++ b/src/api/z3_replayer.cpp
@@ -29,7 +29,7 @@ Notes:
 void register_z3_replayer_cmds(z3_replayer & in);
 
 
-void throw_invalid_reference() {
+static void throw_invalid_reference() {
     TRACE(z3_replayer, tout << "invalid argument reference\n";);
     throw z3_replayer_exception("invalid argument reference");
 }
diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index ac2cb843c..5edeeb7b1 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
 
-void prexpr(expr_ref &e){
+static void prexpr(expr_ref &e){
     std::cout << mk_pp(e.get(), e.get_manager()) << std::endl;
 }