1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/api/result_black.h b/test/unit/api/result_black.h
index cbfc9cf23..f9f37a019 100644
--- a/test/unit/api/result_black.h
+++ b/test/unit/api/result_black.h
@@ -22,7 +22,7 @@ class ResultBlack : public CxxTest::TestSuite
 {
  public:
   void setUp() { d_solver.reset(new Solver()); }
-  void tearDown() override {}
+  void tearDown() override { d_solver.reset(nullptr); }
 
   void testIsNull();
   void testEq();