From 3196f7f676769bc2ee65ba3a88a2b20e731fc78a Mon Sep 17 00:00:00 2001
From: Daniel Raffler <daniel-raffler@gmx.de>
Date: Thu, 14 Dec 2023 18:55:34 +0100
Subject: [PATCH] Fixed formating

---
 .../java_smt/solvers/mathsat5/Mathsat5AbstractProver.java      | 3 +--
 src/org/sosy_lab/java_smt/test/SolverThreadLocalTest.java      | 1 -
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/org/sosy_lab/java_smt/solvers/mathsat5/Mathsat5AbstractProver.java b/src/org/sosy_lab/java_smt/solvers/mathsat5/Mathsat5AbstractProver.java
index b7620781e5..224d8516d8 100644
--- a/src/org/sosy_lab/java_smt/solvers/mathsat5/Mathsat5AbstractProver.java
+++ b/src/org/sosy_lab/java_smt/solvers/mathsat5/Mathsat5AbstractProver.java
@@ -104,8 +104,7 @@ public boolean isUnsat() throws InterruptedException, SolverException {
     boolean result;
     try {
       result = !msat_check_sat(curEnv);
-    }
-    catch (IllegalStateException pE) {
+    } catch (IllegalStateException pE) {
       if (Objects.equals(
           pE.getMessage(), "msat_solve returned \"unknown\": user-requested termination")) {
         assert shutdownNotifier.shouldShutdown();
diff --git a/src/org/sosy_lab/java_smt/test/SolverThreadLocalTest.java b/src/org/sosy_lab/java_smt/test/SolverThreadLocalTest.java
index 5ff0f33bbc..d5a5a4f2fc 100644
--- a/src/org/sosy_lab/java_smt/test/SolverThreadLocalTest.java
+++ b/src/org/sosy_lab/java_smt/test/SolverThreadLocalTest.java
@@ -95,7 +95,6 @@ public void nonlocalContext() throws ExecutionException, InterruptedException, S
     }
   }
 
-
   @SuppressWarnings("resource")
   @Test
   public void nonlocalFormulaTest()