Add a <vector> include in Replica.h

Replica.h refers to std::vector, so this header file must be included.
2022-12-18 17:33:56 +00:00
parent 591d6ccffb
commit 6981aaccf2
1 changed files with 1 additions and 0 deletions
--- a/src/tc/Replica.h
+++ b/src/tc/Replica.h
@@ -31,6 +31,7 @@
 #include <functional>
 #include <memory>
 #include <optional>
+#include <vector>
 #include "tc/ffi.h"
 #include "tc/Task.h"