From 795ae7cb01ac67fd562743a12f01430a38863bd2 Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Sat, 24 Aug 2024 10:38:07 -0700
Subject: [PATCH] Internal.h doesn't need to include <vector>

---
 Internal.h   | 1 -
 SkipList.cpp | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/Internal.h b/Internal.h
index cd869e5..c3555c3 100644
--- a/Internal.h
+++ b/Internal.h
@@ -20,7 +20,6 @@ using namespace weaselab;
 #include <thread>
 #include <unordered_set>
 #include <utility>
-#include <vector>
 
 #include <callgrind.h>
 
diff --git a/SkipList.cpp b/SkipList.cpp
index faa36fb..e0bf4e1 100644
--- a/SkipList.cpp
+++ b/SkipList.cpp
@@ -25,6 +25,7 @@
 
 #include <algorithm>
 #include <span>
+#include <vector>
 
 std::span<const uint8_t> keyAfter(Arena &arena, std::span<const uint8_t> key) {
   auto result =