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

fix(library/native_compiler/native_compiler): memory leak

Browse source
This commit is contained in:
Leonardo de Moura 2016-12-20 09:57:31 -08:00
parent 127ecff79c
commit 4c01cb503c
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/library/native_compiler/native_compiler.cpp
View file

@ -39,7 +39,7 @@ Author: Jared Roesch and Leonardo de Moura
#include "util/lean_path.h"
// #include "util/executable.h"
static std::string* g_lean_install_path;
static std::string * g_lean_install_path = nullptr;
namespace lean {
@ -509,5 +509,6 @@ void initialize_native_compiler() {
void finalize_native_compiler() {
native::finalize_options();
delete g_native_module_key;
delete g_lean_install_path;
}
}