Fixed formating

daniel-raffler · daniel-raffler · commit 3196f7f67676 · 2023-12-14T18:55:34.000+01:00
diff --git 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
@@ -95,7 +95,6 @@ public void nonlocalContext() throws ExecutionException, InterruptedException, S
     }
   }
 
-
   @SuppressWarnings("resource")
   @Test
   public void nonlocalFormulaTest()

Original file line number	Diff line number	Diff line change
`@@ -95,7 +95,6 @@ public void nonlocalContext() throws ExecutionException, InterruptedException, S`
`95`	`95`	`}`
`96`	`96`	`}`
`97`	`97`
`98`		`-`
`99`	`98`	`@SuppressWarnings("resource")`
`100`	`99`	`@Test`
`101`	`100`	`public void nonlocalFormulaTest()`