diff options
author | Judah Schvimer <judah@mongodb.com> | 2018-04-20 14:34:22 -0400 |
---|---|---|
committer | Judah Schvimer <judah@mongodb.com> | 2018-04-20 14:39:18 -0400 |
commit | 12361e19425ce085971feec225bae189a9372a18 (patch) | |
tree | 4a017184c7cae044f7b51b2eb1c5bb531c8055d1 | |
parent | 34f5e2f899ede8f011ff844e8075f72197ff14d7 (diff) | |
download | mongo-12361e19425ce085971feec225bae189a9372a18.tar.gz |
SERVER-34464 fix compile
-rw-r--r-- | src/mongo/db/repl/replication_recovery.cpp | 1 |
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" |