From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 23 Sep 2020 16:15:39 +0000 (-0700)
Subject: Missing format from #5112.
X-Git-Tag: cvc5-1.0.0~2814
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=102b5b2ebeea5c0e4e13583c9f8e8ac8b811e264;p=cvc5.git

Missing format from #5112.
---

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()