diff --git a/src/api/api_context.cpp b/src/api/api_context.cpp
index 0b1bf4490..2de93677d 100644
--- a/src/api/api_context.cpp
+++ b/src/api/api_context.cpp
@@ -489,9 +489,3 @@ extern "C" {
     }
     
 };
-
-Z3_API ast_manager& Z3_get_manager(Z3_context c) {
-    return mk_c(c)->m();
-}
-
-