fix replay build

5 months ago · 7b5478a58e
parent 00c964abfb
commit 7b5478a58e
2 changed files with 3 additions and 0 deletions
--- a/tools/replay/replay.h
+++ b/tools/replay/replay.h
@ -1,5 +1,6 @@
 #pragma once
 #include <algorithm>
 #include <functional>
 #include <memory>
 #include <mutex>
--- a/tools/replay/seg_mgr.cc
+++ b/tools/replay/seg_mgr.cc
@ -1,5 +1,7 @@
 #include "tools/replay/seg_mgr.h"
 #include <algorithm>
 SegmentManager::~SegmentManager() {
  {
    std::unique_lock lock(mutex_);