fix

HanielB · Sep 26, 2023 · d571b7d · d571b7d
1 parent 86a3f58
commit d571b7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)