fixing

2022-12-02 18:19:23 +01:00 · 2022-12-02 18:19:23 +01:00 · e81f1b5d6e
parent 96da027e54
commit e81f1b5d6e
1 changed files with 0 additions and 1 deletions
--- 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);