Small reformat

hernanponcedeleon · Sep 20, 2024 · e91f205 · e91f205
1 parent b8f136f
commit e91f205
Showing 1 changed file with 1 addition and 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
@@ -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) ----