mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 21:38:44 +00:00
Code Activity

add static

Browse source
This commit is contained in:
Nuno Lopes 2020-09-29 16:48:47 +01:00
parent 367e5fdd52
commit b0635b95d0
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/api/api_log.cpp
View file

@ -32,15 +32,15 @@ static mutex g_log_mux;
#define SCOPED_LOCK() {} #define SCOPED_LOCK() {}
#endif #endif
extern "C" { static void Z3_close_log_unsafe(void) {
void Z3_close_log_unsafe(void) { if (g_z3_log != nullptr) {
if (g_z3_log != nullptr) { g_z3_log_enabled = false;
g_z3_log_enabled = false; dealloc(g_z3_log);
dealloc(g_z3_log); g_z3_log = nullptr;
g_z3_log = nullptr;
}
} }
}
extern "C" {
bool Z3_API Z3_open_log(Z3_string filename) { bool Z3_API Z3_open_log(Z3_string filename) {
bool res = true; bool res = true;