summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJudah Schvimer <judah@mongodb.com>2018-04-20 14:34:22 -0400
committerJudah Schvimer <judah@mongodb.com>2018-04-20 14:39:18 -0400
commit12361e19425ce085971feec225bae189a9372a18 (patch)
tree4a017184c7cae044f7b51b2eb1c5bb531c8055d1
parent34f5e2f899ede8f011ff844e8075f72197ff14d7 (diff)
downloadmongo-12361e19425ce085971feec225bae189a9372a18.tar.gz
SERVER-34464 fix compile
-rw-r--r--src/mongo/db/repl/replication_recovery.cpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mongo/db/repl/replication_recovery.cpp b/src/mongo/db/repl/replication_recovery.cpp
index b1122edab0c..e8f010f2b11 100644
--- a/src/mongo/db/repl/replication_recovery.cpp
+++ b/src/mongo/db/repl/replication_recovery.cpp
@@ -33,6 +33,7 @@
#include "mongo/db/repl/replication_recovery.h"
+#include "mongo/db/catalog/document_validation.h"
#include "mongo/db/db_raii.h"
#include "mongo/db/dbdirectclient.h"
#include "mongo/db/namespace_string.h"