Missing format from #5112.

diff --git a/test/unit/api/solver_black.h b/test/unit/api/solver_black.h
index 666fdd86fd1eb58292171b91584c2e4dd15ad138..62531daf7ae8919d288ffe3439f574e376643dfb 100644 (file)
--- a/test/unit/api/solver_black.h
+++ b/test/unit/api/solver_black.h
@@ -180,7 +180,8 @@ void SolverBlack::testRecoverableException()
   d_solver->setOption("produce-models", "true");
   Term x = d_solver->mkConst(d_solver->getBooleanSort(), "x");
   d_solver->assertFormula(x.eqTerm(x).notTerm());
-  TS_ASSERT_THROWS(d_solver->printModel(std::cout), CVC4ApiRecoverableException&);
+  TS_ASSERT_THROWS(d_solver->printModel(std::cout),
+                   CVC4ApiRecoverableException&);
 }
 
 void SolverBlack::testSupportsFloatingPoint()