summaryrefslogtreecommitdiff
path: root/src/mongo/db/record_id.h
diff options
context:
space:
mode:
authorKang In Cheol <kangic21@gmail.com>2015-06-29 17:47:30 -0400
committerRamon Fernandez <ramon.fernandez@mongodb.com>2015-06-29 17:49:21 -0400
commit80899bf1c22555ebadd1ac0f2f1553174a86bacf (patch)
treee6314facfa73c199ffb62459cf44199c39804eb1 /src/mongo/db/record_id.h
parent1e73e73295404c9768d324f981e11ba12eee0c2e (diff)
downloadmongo-80899bf1c22555ebadd1ac0f2f1553174a86bacf.tar.gz
SERVER-18928: replace "mongo/platform/cstdint.h" with <cstdint>
Signed-off-by: Ramon Fernandez <ramon.fernandez@mongodb.com> Closes #988
Diffstat (limited to 'src/mongo/db/record_id.h')
-rw-r--r--src/mongo/db/record_id.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mongo/db/record_id.h b/src/mongo/db/record_id.h
index cd7e8025b90..1ebea7ee122 100644
--- a/src/mongo/db/record_id.h
+++ b/src/mongo/db/record_id.h
@@ -31,12 +31,12 @@
#include <boost/functional/hash.hpp>
#include <boost/optional.hpp>
#include <climits>
+#include <cstdint>
#include <ostream>
#include "mongo/bson/util/builder.h"
#include "mongo/logger/logstream_builder.h"
#include "mongo/util/bufreader.h"
-#include "mongo/platform/cstdint.h"
namespace mongo {