From 102b5b2ebeea5c0e4e13583c9f8e8ac8b811e264 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Wed, 23 Sep 2020 09:15:39 -0700 Subject: [PATCH] Missing format from #5112. --- test/unit/api/solver_black.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test/unit/api/solver_black.h b/test/unit/api/solver_black.h index 666fdd86f..62531daf7 100644 --- 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() -- 2.30.2