diff options
| author | Ben Caimano <ben.caimano@mongodb.com> | 2019-09-17 23:22:19 +0000 |
|---|---|---|
| committer | evergreen <evergreen@mongodb.com> | 2019-09-17 23:22:19 +0000 |
| commit | bc11369435ca51e2ff6897433d00f6b909f6a25f (patch) | |
| tree | 251653ec8285d798b41846e343e7e414e80ff277 /src/mongo/util/periodic_runner.h | |
| parent | 45aea2495306dd61fab46bd398735bb6aaf7b53a (diff) | |
| download | mongo-bc11369435ca51e2ff6897433d00f6b909f6a25f.tar.gz | |
SERVER-42165 Replace uses of stdx::mutex with mongo::Mutex
Diffstat (limited to 'src/mongo/util/periodic_runner.h')
| -rw-r--r-- | src/mongo/util/periodic_runner.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mongo/util/periodic_runner.h b/src/mongo/util/periodic_runner.h index e9dcfa67489..210bd3c4ecf 100644 --- a/src/mongo/util/periodic_runner.h +++ b/src/mongo/util/periodic_runner.h @@ -35,7 +35,7 @@ #include <boost/optional.hpp> -#include "mongo/stdx/mutex.h" +#include "mongo/platform/mutex.h" #include "mongo/util/time_support.h" namespace mongo { |