mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

Merge pull request from waywardmonkeys/remove-get-manager

Browse source 
Remove Z3_get_manager.
This commit is contained in:
Nikolaj Bjorner 2018-12-04 10:17:29 -08:00 committed by GitHub
parent 3551d12168 374b80f37f
commit 4b94ea112d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 6 deletions

6
src/api/api_context.cpp
View file

@ -489,9 +489,3 @@ extern "C" {
}
};
Z3_API ast_manager& Z3_get_manager(Z3_context c) {
return mk_c(c)->m();
}