From 8fa4a03e01eaaa140991bc260eeecb59663db866 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Fri, 5 Feb 2021 11:36:32 -0800 Subject: [PATCH] Remove obsolete include from node_black unit test. (#5862) --- test/unit/expr/node_black.cpp | 1 - 1 file changed, 1 deletion(-) 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 { -- 2.30.2