diff --git a/fdb-patch.txt b/fdb-patch.txt index 401b0c3..dd6b254 100644 --- a/fdb-patch.txt +++ b/fdb-patch.txt @@ -26,14 +26,14 @@ index bf4118f5f..d3b4eaad8 100644 // Use LogSystem as backend for txnStateStore. However, the real commit diff --git a/fdbserver/SkipList.cpp b/fdbserver/SkipList.cpp -index b48d32c6b..d75734e61 100644 +index b48d32c6b..269acfc99 100644 --- a/fdbserver/SkipList.cpp +++ b/fdbserver/SkipList.cpp @@ -25,6 +25,7 @@ #include #include #include -+#include ++#include #include "flow/Platform.h" #include "fdbrpc/fdbrpc.h"