From 6981aaccf2eee1a3353056356b77999c9e5f4c5e Mon Sep 17 00:00:00 2001
From: "Dustin J. Mitchell" <djmitche@google.com>
Date: Sun, 18 Dec 2022 17:33:56 +0000
Subject: [PATCH] Add a <vector> include in Replica.h

Replica.h refers to std::vector, so this header file must be included.
---
 src/tc/Replica.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tc/Replica.h b/src/tc/Replica.h
index d0650350b..81b424648 100644
--- 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"