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