mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

fix build on CentOS

Browse source 
Signed-off-by: Nuno Lopes <nlopes@microsoft.com>
This commit is contained in:
Nuno Lopes 2015-05-19 16:52:47 +01:00
parent 15e1c84592
commit 66e6e67395
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/util/trace.cpp
View file

@ -23,8 +23,8 @@ Revision History:
std::ofstream tout(".z3-trace");
#endif
bool g_enable_all_trace_tags = false;
str_hashtable* g_enabled_trace_tags = 0;
static bool g_enable_all_trace_tags = false;
static str_hashtable* g_enabled_trace_tags = 0;
static str_hashtable& get_enabled_trace_tags() {
if (!g_enabled_trace_tags) {