diff --git a/src/misc/util/abc_global.h b/src/misc/util/abc_global.h index d9aa9701a..8952d1e2c 100644 --- a/src/misc/util/abc_global.h +++ b/src/misc/util/abc_global.h @@ -77,6 +77,7 @@ #include #include +#include //////////////////////////////////////////////////////////////////////// /// NAMESPACES ///