diff --git a/CMakeLists.txt b/CMakeLists.txt
index 561da3595..fa2531670 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -351,6 +351,7 @@ option(Z3_BUILD_LIBZ3_SHARED "Build libz3 as a shared library if true, otherwise
 ################################################################################
 if (NOT MSVC)
   z3_add_cxx_flag("-fvisibility=hidden" REQUIRED)
+  z3_add_cxx_flag("-fvisibility-inlines-hidden" REQUIRED)
 endif()
 
 ################################################################################