diff --git a/src/opt/util/util.cpp b/src/opt/util/util.cpp index a1846d72b..d5f698337 100644 --- a/src/opt/util/util.cpp +++ b/src/opt/util/util.cpp @@ -9,7 +9,6 @@ #include #include -#include "misc/util/abc_namespaces.h" #include "util.h" #ifdef __linux__ @@ -125,7 +124,7 @@ void kill_on_parent_death(int sig) monitor_thread.detach(); } - + */ #else // neither linux or OS X diff --git a/src/opt/util/util.h b/src/opt/util/util.h index b2b3a508c..24dd153a1 100755 --- a/src/opt/util/util.h +++ b/src/opt/util/util.h @@ -18,6 +18,8 @@ #include +#include "misc/util/abc_namespaces.h" + ABC_NAMESPACE_CXX_HEADER_START class LogT {