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

fix(util/lean_path): fixes #1339

Browse source
This commit is contained in:
Leonardo de Moura 2017-02-03 15:19:48 -08:00
parent 2640d3085b
commit 5d3b889684
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/util/lean_path.cpp
View file

@ -50,7 +50,6 @@ bool is_path_sep(char c) { return c == g_path_sep; }
#elif defined(LEAN_WINDOWS) && !defined(LEAN_CYGWIN)
// Windows version
static char g_path_sep = ';';
static char g_path_alt_sep = ':';
static char g_sep = '\\';
static char g_bad_sep = '/';
std::string get_exe_location() {
@ -60,7 +59,7 @@ std::string get_exe_location() {
std::wstring pathstr(path);
return std::string(pathstr.begin(), pathstr.end());
}
bool is_path_sep(char c) { return c == g_path_sep || c == g_path_alt_sep; }
bool is_path_sep(char c) { return c == g_path_sep; }
#elif defined(__APPLE__)
// OSX version
#include <mach-o/dyld.h>