From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 5 Feb 2021 19:36:32 +0000 (-0800)
Subject: Remove obsolete include from node_black unit test. (#5862)
X-Git-Tag: cvc5-1.0.0~2317
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8fa4a03e01eaaa140991bc260eeecb59663db866;p=cvc5.git

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 d45cf603f..88406f6bc 100644
--- 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 {