diff --git a/eo/src/eo b/eo/src/eo index 5f1a3f6b..38c61010 100644 --- a/eo/src/eo +++ b/eo/src/eo @@ -86,6 +86,7 @@ #include #include #include +#include // Evaluation functions #include