From e91f205ec3039ce7c8d642b2461407ce31ec9876 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Pascal=20Maseli?= <r.maseli@tu-bs.de>
Date: Fri, 20 Sep 2024 18:47:30 +0200
Subject: [PATCH] Small reformat

---
 .../dat3m/dartagnan/verification/solving/RefinementSolver.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/verification/solving/RefinementSolver.java b/dartagnan/src/main/java/com/dat3m/dartagnan/verification/solving/RefinementSolver.java
index 4d5a8b134b..6aa6619b73 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/verification/solving/RefinementSolver.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/verification/solving/RefinementSolver.java
@@ -555,8 +555,7 @@ private static void addBiases(Wmm wmm, EnumSet<Baseline> biases) {
                 rf,
                 co,
                 fr
-            )
-            )));
+            ))));
         }
         if (biases.contains(Baseline.NO_OOTA)) {
             // ---- acyclic (dep | rf) ----