diff --git a/open_spiel/spiel_utils.h b/open_spiel/spiel_utils.h index 91f20faaea..217225e506 100644 --- a/open_spiel/spiel_utils.h +++ b/open_spiel/spiel_utils.h @@ -21,6 +21,7 @@ #include #include #include +#include #include #include #include