From d4ed8baf3c8104e66dc61d435feca92980a6dc0d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 27 Sep 2016 15:53:49 -0700
Subject: [PATCH] chore(util/thread): mark global as static

---
 src/util/thread.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/thread.cpp b/src/util/thread.cpp
index 21f7a1fb6b..c697b78d4a 100644
--- a/src/util/thread.cpp
+++ b/src/util/thread.cpp
@@ -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)