try to fix macos build

AliveToolkit · Dec 23, 2023 · 794d51a · 794d51a
1 parent fc92f47
commit 794d51a
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git 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
@@ -5,6 +5,7 @@
 
 #include "smt/expr.h"
 #include "util/compiler.h"
+#include "util/spaceship.h"
 #include <cassert>
 #include <compare>
 #include <map>