google test: Remove obsolete Expr test fixtures. (#6060)

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");
   }