SolverFormulaIOTest: remove empty statement / unneeded semicolon.

kfriedberger · kfriedberger · commit c410213a1216 · 2025-09-13T15:41:46.000+02:00
diff --git a/src/org/sosy_lab/java_smt/test/SolverFormulaIOTest.java b/src/org/sosy_lab/java_smt/test/SolverFormulaIOTest.java
@@ -532,7 +532,6 @@ private void checkThatDumpIsParseable(String dump) {
     } catch (AssumptionViolatedException ave) {
       // ignore, i.e., do not report test-case as skipped.
     }
-    ;
   }
 
   private BooleanFormula genBoolExpr() {

Original file line number	Diff line number	Diff line change
`@@ -532,7 +532,6 @@ private void checkThatDumpIsParseable(String dump) {`
`532`	`532`	`} catch (AssumptionViolatedException ave) {`
`533`	`533`	`// ignore, i.e., do not report test-case as skipped.`
`534`	`534`	`}`
`535`		`- ;`
`536`	`535`	`}`
`537`	`536`
`538`	`537`	`private BooleanFormula genBoolExpr() {`