diff options
Diffstat (limited to 'src/mongo/client/replica_set_monitor.cpp')
-rw-r--r-- | src/mongo/client/replica_set_monitor.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mongo/client/replica_set_monitor.cpp b/src/mongo/client/replica_set_monitor.cpp index f3d25a97cb6..7f52c9114ae 100644 --- a/src/mongo/client/replica_set_monitor.cpp +++ b/src/mongo/client/replica_set_monitor.cpp @@ -34,6 +34,7 @@ #include <algorithm> #include <boost/make_shared.hpp> #include <boost/thread.hpp> +#include <boost/thread/condition.hpp> #include <limits> #include "mongo/db/server_options.h" |