apply code formatter.

kfriedberger · kfriedberger · commit 4d6df8b6e995 · 2024-11-09T15:43:14.000+01:00
diff --git a/src/org/sosy_lab/java_smt/basicimpl/AbstractFormulaManager.java b/src/org/sosy_lab/java_smt/basicimpl/AbstractFormulaManager.java
@@ -375,9 +375,7 @@ public BooleanFormula applyTactic(BooleanFormula f, Tactic tactic)
     }
   }
 
-  /**
-   * Eliminate UFs from the given input formula.
-   */
+  /** Eliminate UFs from the given input formula. */
   protected BooleanFormula applyUFEImpl(BooleanFormula pF) {
     return SolverUtils.ufElimination(this).eliminateUfs(pF);
   }

Original file line number	Diff line number	Diff line change
`@@ -375,9 +375,7 @@ public BooleanFormula applyTactic(BooleanFormula f, Tactic tactic)`
`375`	`375`	`}`
`376`	`376`	`}`
`377`	`377`
`378`		`- /**`
`379`		`- * Eliminate UFs from the given input formula.`
`380`		`- */`
	`378`	`+ /** Eliminate UFs from the given input formula. */`
`381`	`379`	`protected BooleanFormula applyUFEImpl(BooleanFormula pF) {`
`382`	`380`	`return SolverUtils.ufElimination(this).eliminateUfs(pF);`
`383`	`381`	`}`