From 060e32706980ffc84aac250022d55f92afcffa69 Mon Sep 17 00:00:00 2001 From: ADAM David Alan Martin Date: Tue, 13 Feb 2018 14:09:32 -0500 Subject: SERVER-33275 Remove `platform/unordered_`* headers These headers date from before C++11 support and the `::mongo::stdx::` namespace. They can be removed and uses of the names therein can be changed to `::mongo::stdx::unordered_`* forms. --- src/mongo/db/exec/or.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/mongo/db/exec/or.h') diff --git a/src/mongo/db/exec/or.h b/src/mongo/db/exec/or.h index 84ded543c82..0fd68249a5d 100644 --- a/src/mongo/db/exec/or.h +++ b/src/mongo/db/exec/or.h @@ -32,7 +32,7 @@ #include "mongo/db/jsobj.h" #include "mongo/db/matcher/expression.h" #include "mongo/db/record_id.h" -#include "mongo/platform/unordered_set.h" +#include "mongo/stdx/unordered_set.h" namespace mongo { @@ -81,7 +81,7 @@ private: bool _dedup; // Which RecordIds have we returned? - unordered_set _seen; + stdx::unordered_set _seen; // Stats OrStats _specificStats; -- cgit v1.2.1