diff options
| author | Andrew Morrow <acm@mongodb.com> | 2015-01-04 12:23:38 -0500 |
|---|---|---|
| committer | Andrew Morrow <acm@mongodb.com> | 2015-01-05 18:52:20 -0500 |
| commit | e782819da4ce547272c653ec85984cacf5e60ff2 (patch) | |
| tree | 4ed2ffdbe2c74634ed836cde991a2bdd2c9f7bf9 /src/mongo/shell | |
| parent | 0c4d932be42022627cd1e8a826fc69cd3edac23f (diff) | |
| download | mongo-e782819da4ce547272c653ec85984cacf5e60ff2.tar.gz | |
SERVER-13256 Remove scoped_ptr from pch.h
Diffstat (limited to 'src/mongo/shell')
| -rw-r--r-- | src/mongo/shell/bench.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mongo/shell/bench.h b/src/mongo/shell/bench.h index 3bdcfbed6eb..4f2490617fe 100644 --- a/src/mongo/shell/bench.h +++ b/src/mongo/shell/bench.h @@ -30,6 +30,7 @@ #include <string> +#include <boost/scoped_ptr.hpp> #include <boost/shared_ptr.hpp> #include <boost/thread/condition.hpp> #include <boost/thread/mutex.hpp> |