diff --git a/eo/src/eo b/eo/src/eo index d78969c7..97ac6207 100644 --- a/eo/src/eo +++ b/eo/src/eo @@ -48,6 +48,7 @@ #include #include +#include // the variation operators #include