Remove obsolete include from node_black unit test. (#5862)

diff --git a/test/unit/expr/node_black.cpp b/test/unit/expr/node_black.cpp
index d45cf603fdde645bc90873b8d229f700297b5b43..88406f6bc95cc7d7af8e5a0070f8c5b6ae034c32 100644 (file)
--- a/test/unit/expr/node_black.cpp
+++ b/test/unit/expr/node_black.cpp
@@ -28,7 +28,6 @@
 #include "expr/node_value.h"
 #include "smt/smt_engine.h"
 #include "test_node.h"
-#include "test_utils.h"
 #include "theory/rewriter.h"
 
 namespace CVC4 {