diff options
author | Kang In Cheol <kangic21@gmail.com> | 2015-06-29 17:47:30 -0400 |
---|---|---|
committer | Ramon Fernandez <ramon.fernandez@mongodb.com> | 2015-06-29 17:49:21 -0400 |
commit | 80899bf1c22555ebadd1ac0f2f1553174a86bacf (patch) | |
tree | e6314facfa73c199ffb62459cf44199c39804eb1 /src/mongo/util/processinfo.h | |
parent | 1e73e73295404c9768d324f981e11ba12eee0c2e (diff) | |
download | mongo-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/util/processinfo.h')
-rw-r--r-- | src/mongo/util/processinfo.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mongo/util/processinfo.h b/src/mongo/util/processinfo.h index 551ed8c6629..86305a9babe 100644 --- a/src/mongo/util/processinfo.h +++ b/src/mongo/util/processinfo.h @@ -29,10 +29,10 @@ #pragma once +#include <cstdint> #include <string> #include "mongo/db/jsobj.h" -#include "mongo/platform/cstdint.h" #include "mongo/platform/process_id.h" #include "mongo/util/concurrency/mutex.h" |