diff --git a/eo/src/eo b/eo/src/eo index cf18f3ea0..7c988f1c9 100644 --- a/eo/src/eo +++ b/eo/src/eo @@ -198,6 +198,8 @@ #include #include +#include + //----------------------------------------------------------------------------- #endif