Remove use of "synchornized" in Mathsat5InterpolatingProver.

sosy-lab · Dec 19, 2023 · a28e7cd · a28e7cd
1 parent 010ddc2
commit a28e7cd
Showing 1 changed file with 1 addition and 1 deletion.
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(