From 4b29fbd4c709d84d038d257d98360d9bc17c1c2a Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Sat, 23 Sep 2023 20:11:18 +0200
Subject: [PATCH] Add missing include

---
 src/util/vector.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/vector.h b/src/util/vector.h
index d575c8304..74197388f 100644
--- a/src/util/vector.h
+++ b/src/util/vector.h
@@ -30,6 +30,7 @@ Revision History:
 #include <functional>
 #include <memory>
 #include <type_traits>
+#include <utility>
 #include "util/memory_manager.h"
 #include "util/hash.h"
 #include "util/z3_exception.h"