From 374b80f37f48dfd468782f3312fcb0d31e263d9c Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Tue, 4 Dec 2018 21:38:33 +0700 Subject: [PATCH] Remove Z3_get_manager. This was publicly exported from the shared library, but it isn't in any header files and isn't used anywhere in the repository. --- src/api/api_context.cpp | 6 ------ 1 file changed, 6 deletions(-) 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(); -} - -