From a9ccfb0188f98d37e9153a62fbae0baf39a10610 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Sat, 23 Dec 2023 19:37:42 +0000
Subject: [PATCH] try to fix macos build

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

diff --git a/util/spaceship.h b/util/spaceship.h
index 27c23bc1f..17f3ea898 100644
--- a/util/spaceship.h
+++ b/util/spaceship.h
@@ -6,6 +6,7 @@
 #if defined(__clang__) && defined(__APPLE__)
 
 #include <compare>
+#include <map>
 
 #if (__clang_major__ < 14 || (__clang_major__ == 14 && __clang_patchlevel__ == 0))