diff options
author | Mark Benvenuto <mark.benvenuto@mongodb.com> | 2014-08-19 15:07:11 -0400 |
---|---|---|
committer | Mark Benvenuto <mark.benvenuto@mongodb.com> | 2014-08-20 17:43:20 -0400 |
commit | 2d5d662a834fab72ee1431e3bb0a5ed5a0826177 (patch) | |
tree | 5e2793249b87e4c99b08c6070820bb747d910a41 /src/mongo/shell/linenoise_utf8.h | |
parent | 351523db3169a6c5e2df96f83eacea31978bea3d (diff) | |
download | mongo-2d5d662a834fab72ee1431e3bb0a5ed5a0826177.tar.gz |
SERVER-8994: Boost 1.56 build fixes
Diffstat (limited to 'src/mongo/shell/linenoise_utf8.h')
-rw-r--r-- | src/mongo/shell/linenoise_utf8.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mongo/shell/linenoise_utf8.h b/src/mongo/shell/linenoise_utf8.h index c9387ccc643..b650098e73c 100644 --- a/src/mongo/shell/linenoise_utf8.h +++ b/src/mongo/shell/linenoise_utf8.h @@ -28,6 +28,7 @@ */ #include <boost/smart_ptr/scoped_array.hpp> +#include <algorithm> #include <string.h> namespace linenoise_utf8 { |