From a28e7cd81063328a11065ed330f878e81bf76879 Mon Sep 17 00:00:00 2001
From: Daniel Raffler <daniel-raffler@gmx.de>
Date: Tue, 19 Dec 2023 19:34:08 +0100
Subject: [PATCH] Remove use of "synchornized" in Mathsat5InterpolatingProver.

---
 .../java_smt/solvers/mathsat5/Mathsat5InterpolatingProver.java  | 2 +-
 1 file changed, 1 insertion(+), 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
index 40ebc43196..ea1fd42e2e 100644
--- 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(