diff --git a/test/unit/api/cpp/solver_black.cpp b/test/unit/api/cpp/solver_black.cpp
index 25291f4ddb2..d0f3577d63d 100644
--- a/test/unit/api/cpp/solver_black.cpp
+++ b/test/unit/api/cpp/solver_black.cpp
@@ -2025,7 +2025,7 @@ TEST_F(TestApiBlackSolver, getUnsatCoreLemmas2)
   d_solver.assertFormula(p_f_y.notTerm());
   ASSERT_TRUE(d_solver.checkSat().isUnsat());
 
-  ASSERT_NO_THROW(uc = d_solver.getUnsatCoreLemmas());
+  ASSERT_NO_THROW(d_solver.getUnsatCoreLemmas());
 }
 
 TEST_F(TestApiBlackSolver, getDifficulty)