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;