michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(kernel/environment): initialization problem on OSX

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-08-09 16:14:35 -07:00
parent ee9be2837b
commit 8ad0949269
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/kernel/environment.cpp
View file

@ -169,9 +169,8 @@ public:
}
};
static std::unique_ptr<extension_manager> g_extension_manager;
static extension_manager & get_extension_manager() {
static std::unique_ptr<extension_manager> g_extension_manager;
if (!g_extension_manager)
g_extension_manager.reset(new extension_manager());
return *g_extension_manager;