Remove use of "synchornized" in Mathsat5InterpolatingProver.

daniel-raffler · baierd · commit 220e08abe3b8 · 2024-01-03T09:33:38.000+01:00
diff --git a/src/org/sosy_lab/java_smt/solvers/mathsat5/Mathsat5InterpolatingProver.java b/src/org/sosy_lab/java_smt/solvers/mathsat5/Mathsat5InterpolatingProver.java
@@ -152,7 +152,7 @@ public List<BooleanFormula> getTreeInterpolants(
   }
 
   @Override
-  public synchronized <T> T allSat(AllSatCallback<T> callback, List<BooleanFormula> important) {
+  public <T> T allSat(AllSatCallback<T> callback, List<BooleanFormula> important) {
     // TODO how can we support allsat in MathSat5-interpolation-prover?
     // error: "allsat is not compatible wwith proof generation"
     throw new UnsupportedOperationException(

Original file line number	Diff line number	Diff line change
`@@ -152,7 +152,7 @@ public List<BooleanFormula> getTreeInterpolants(`
`152`	`152`	`}`
`153`	`153`
`154`	`154`	`@Override`
`155`		`- public synchronized <T> T allSat(AllSatCallback<T> callback, List<BooleanFormula> important) {`
	`155`	`+ public <T> T allSat(AllSatCallback<T> callback, List<BooleanFormula> important) {`
`156`	`156`	`// TODO how can we support allsat in MathSat5-interpolation-prover?`
`157`	`157`	`// error: "allsat is not compatible wwith proof generation"`
`158`	`158`	`throw new UnsupportedOperationException(`