diff options
| author | Jose <jose@zeroc.com> | 2018-09-10 15:18:57 +0200 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2018-09-10 15:18:57 +0200 |
| commit | ecc78d7bf92dbd747fdb340cc569e202b791ebe5 (patch) | |
| tree | 266ac273a64134f6f66dfa17138510b54d784fb3 /cpp | |
| parent | Do not use Ice__t_Value as parent for local PHP types (diff) | |
| download | ice-ecc78d7bf92dbd747fdb340cc569e202b791ebe5.tar.bz2 ice-ecc78d7bf92dbd747fdb340cc569e202b791ebe5.tar.xz ice-ecc78d7bf92dbd747fdb340cc569e202b791ebe5.zip | |
Missing C++ header include
Diffstat (limited to 'cpp')
| -rw-r--r-- | cpp/include/IceUtil/Random.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cpp/include/IceUtil/Random.h b/cpp/include/IceUtil/Random.h index 69d4c0b4dea..c2a82e39071 100644 --- a/cpp/include/IceUtil/Random.h +++ b/cpp/include/IceUtil/Random.h @@ -16,6 +16,8 @@ #ifdef ICE_CPP11_COMPILER # include <algorithm> # include <random> +#else +# include <functional> #endif namespace IceUtilInternal |