4 files changed, 6 insertions, 0 deletions
diff --git a/test/unit/node/node_algorithm_black.cpp b/test/unit/node/node_algorithm_black.cpp
index e96d3ec9e..df8fb9383 100644
--- a/test/unit/node/node_algorithm_black.cpp
+++ b/test/unit/node/node_algorithm_black.cpp
@@ -21,6 +21,7 @@
 #include "expr/node_manager.h"
 #include "test_node.h"
 #include "theory/bv/theory_bv_utils.h"
+#include "util/bitvector.h"
 #include "util/integer.h"
 #include "util/rational.h"
 
diff --git a/test/unit/node/node_black.cpp b/test/unit/node/node_black.cpp
index 852f06dbc..94a2e5fb6 100644
--- a/test/unit/node/node_black.cpp
+++ b/test/unit/node/node_black.cpp
@@ -19,6 +19,7 @@
 #include <vector>
 
 #include "api/cpp/cvc5.h"
+#include "expr/array_store_all.h"
 #include "expr/dtype.h"
 #include "expr/dtype_cons.h"
 #include "expr/node.h"
@@ -29,6 +30,8 @@
 #include "smt/smt_engine.h"
 #include "test_node.h"
 #include "theory/rewriter.h"
+#include "util/bitvector.h"
+#include "util/rational.h"
 
 namespace cvc5 {
 
diff --git a/test/unit/node/node_white.cpp b/test/unit/node/node_white.cpp
index bf0b8db57..eb6f77bdc 100644
--- a/test/unit/node/node_white.cpp
+++ b/test/unit/node/node_white.cpp
@@ -18,6 +18,7 @@
 #include "base/check.h"
 #include "expr/node_builder.h"
 #include "test_node.h"
+#include "util/rational.h"
 
 namespace cvc5 {
 
diff --git a/test/unit/node/type_node_white.cpp b/test/unit/node/type_node_white.cpp
index 4fb057fa9..d8db32a4b 100644
--- a/test/unit/node/type_node_white.cpp
+++ b/test/unit/node/type_node_white.cpp
@@ -21,6 +21,7 @@
 #include "expr/type_node.h"
 #include "smt/smt_engine.h"
 #include "test_node.h"
+#include "util/rational.h"
 
 namespace cvc5 {