diff options
Diffstat (limited to 'test/unit/util')
-rw-r--r-- | test/unit/util/datatype_black.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/unit/util/datatype_black.cpp b/test/unit/util/datatype_black.cpp index 0120dda76..b3b74cf90 100644 --- a/test/unit/util/datatype_black.cpp +++ b/test/unit/util/datatype_black.cpp @@ -21,17 +21,17 @@ #include "expr/dtype_cons.h" #include "expr/expr.h" #include "expr/type_node.h" -#include "test_expr.h" +#include "test_smt.h" namespace CVC4 { namespace test { -class TestUtilBlackDatatype : public TestExprBlack +class TestUtilBlackDatatype : public TestSmt { public: void SetUp() override { - TestExprBlack::SetUp(); + TestSmt::SetUp(); Debug.on("datatypes"); Debug.on("groundterms"); } |