diff --git a/eo/src/eo b/eo/src/eo index 89ed7da9..14dc831c 100644 --- a/eo/src/eo +++ b/eo/src/eo @@ -201,6 +201,8 @@ #include +#include + //----------------------------------------------------------------------------- #endif