Undo changes to WMMSolver

Signed-off-by: Tianrui Zheng <tianrui.zheng@huawei.com>

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;