From b15398cbb331295bdd4060e43ed40c04a7433c09 Mon Sep 17 00:00:00 2001
From: Tianrui Zheng <tianrui.zheng@huawei.com>
Date: Mon, 25 Nov 2024 10:10:11 +0100
Subject: [PATCH] Undo changes to WMMSolver

Signed-off-by: Tianrui Zheng <tianrui.zheng@huawei.com>
---
 .../java/com/dat3m/dartagnan/solver/caat4wmm/WMMSolver.java     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/solver/caat4wmm/WMMSolver.java b/dartagnan/src/main/java/com/dat3m/dartagnan/solver/caat4wmm/WMMSolver.java
index b3d635f843..41441880e5 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/solver/caat4wmm/WMMSolver.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/solver/caat4wmm/WMMSolver.java
@@ -35,7 +35,7 @@ private WMMSolver(RefinementModel refinementModel, Context analysisContext, Exec
     }
 
     public static WMMSolver withContext(RefinementModel refinementModel, EncodingContext context,
-        Context analysisContext, Configuration config) throws InvalidConfigurationException {
+            Context analysisContext, Configuration config) throws InvalidConfigurationException {
         final var solver = new WMMSolver(refinementModel, analysisContext, ExecutionModel.withContext(context));
         config.inject(solver.reasoner);
         return solver;