max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(util/thread): mark global as static

Browse source
This commit is contained in:
Leonardo de Moura 2016-09-27 15:53:49 -07:00
parent d7c3fce8a3
commit d4ed8baf3c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/thread.cpp
View file

@ -109,7 +109,7 @@ public:
}
};
thread_finalizers_manager * g_aux = nullptr;
static thread_finalizers_manager * g_aux = nullptr;
thread_finalizers_manager & get_manager() {
if (!g_aux)