Remove unnecessary final modifiers in AbstractProver

BaierD · BaierD · commit 1b6f52b71d67 · 2025-06-02T16:47:53.000+02:00
diff --git a/src/org/sosy_lab/java_smt/basicimpl/AbstractProver.java b/src/org/sosy_lab/java_smt/basicimpl/AbstractProver.java
@@ -80,11 +80,11 @@ protected final void checkGenerateAllSat() {
     Preconditions.checkState(generateAllSat, TEMPLATE, ProverOptions.GENERATE_ALL_SAT);
   }
 
-  private final void checkGenerateUnsatCores() {
+  private void checkGenerateUnsatCores() {
     Preconditions.checkState(generateUnsatCores, TEMPLATE, ProverOptions.GENERATE_UNSAT_CORE);
   }
 
-  private final void checkGenerateUnsatCoresOverAssumptions() {
+  private void checkGenerateUnsatCoresOverAssumptions() {
     Preconditions.checkState(
         generateUnsatCoresOverAssumptions,
         TEMPLATE,

Original file line number	Diff line number	Diff line change
`@@ -80,11 +80,11 @@ protected final void checkGenerateAllSat() {`
`80`	`80`	`Preconditions.checkState(generateAllSat, TEMPLATE, ProverOptions.GENERATE_ALL_SAT);`
`81`	`81`	`}`
`82`	`82`
`83`		`- private final void checkGenerateUnsatCores() {`
	`83`	`+ private void checkGenerateUnsatCores() {`
`84`	`84`	`Preconditions.checkState(generateUnsatCores, TEMPLATE, ProverOptions.GENERATE_UNSAT_CORE);`
`85`	`85`	`}`
`86`	`86`
`87`		`- private final void checkGenerateUnsatCoresOverAssumptions() {`
	`87`	`+ private void checkGenerateUnsatCoresOverAssumptions() {`
`88`	`88`	`Preconditions.checkState(`
`89`	`89`	`generateUnsatCoresOverAssumptions,`
`90`	`90`	`TEMPLATE,`