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

---
 smt/exprs.cpp | 1 -
 smt/exprs.h   | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/smt/exprs.cpp b/smt/exprs.cpp
index 8e2be974c..fb2cef1f4 100644
--- a/smt/exprs.cpp
+++ b/smt/exprs.cpp
@@ -4,7 +4,6 @@
 #include "smt/exprs.h"
 #include "smt/smt.h"
 #include "util/compiler.h"
-#include "util/spaceship.h"
 #include <vector>
 
 using namespace std;
diff --git a/smt/exprs.h b/smt/exprs.h
index c94aecc21..aa9605d99 100644
--- a/smt/exprs.h
+++ b/smt/exprs.h
@@ -5,6 +5,7 @@
 
 #include "smt/expr.h"
 #include "util/compiler.h"
+#include "util/spaceship.h"
 #include <cassert>
 #include <compare>
 #include <map>