From e81f1b5d6efeae15c3ea37a03442566004c8400a Mon Sep 17 00:00:00 2001
From: filippocasari <fili9941@gmail.com>
Date: Fri, 2 Dec 2022 18:19:23 +0100
Subject: [PATCH] fixing

---
 src/main/java/ch/usi/inf/sdm/sdm04/util/FluentBitSet.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main/java/ch/usi/inf/sdm/sdm04/util/FluentBitSet.java b/src/main/java/ch/usi/inf/sdm/sdm04/util/FluentBitSet.java
index 92b9b91..8b84a1a 100644
--- a/src/main/java/ch/usi/inf/sdm/sdm04/util/FluentBitSet.java
+++ b/src/main/java/ch/usi/inf/sdm/sdm04/util/FluentBitSet.java
@@ -158,7 +158,6 @@ public final class FluentBitSet implements Cloneable, Serializable, FluentBitSet
      * @throws IndexOutOfBoundsException if the specified index is negative.
      */
     @Requires("valid_indexes")
-
     public FluentBitSet clear(final int... bitIndexArray) {
         for (final int e : bitIndexArray) {
             this.bitSet.clear(e);