diff --git a/src/main/java/org/logicng/collections/LNGVector.java b/src/main/java/org/logicng/collections/LNGVector.java
index ade924a1..32daac1e 100644
--- a/src/main/java/org/logicng/collections/LNGVector.java
+++ b/src/main/java/org/logicng/collections/LNGVector.java
@@ -364,14 +364,6 @@ public void sortReverse(final Comparator<T> comparator) {
         }
     }
 
-    /**
-     * Returns this vector's contents as an array.
-     * @return the array
-     */
-    public T[] toArray() {
-        return Arrays.copyOf(this.elements, this.size);
-    }
-
     /**
      * Ensures that this vector has the given size.  If not - the size is doubled and the old elements are copied.
      * @param newSize the size to ensure
diff --git a/src/test/java/org/logicng/collections/LNGVectorTest.java b/src/test/java/org/logicng/collections/LNGVectorTest.java
index 411f9c87..ae868318 100644
--- a/src/test/java/org/logicng/collections/LNGVectorTest.java
+++ b/src/test/java/org/logicng/collections/LNGVectorTest.java
@@ -398,7 +398,9 @@ public void testToArray() {
             }
         }
         v1.shrinkTo(500);
-        assertThat(v1.toArray()).containsExactly(expected);
+        for (int i = 0; i < expected.length; i++) {
+            assertThat(v1.get(i)).isEqualTo(expected[i]);
+        }
     }
 
     @Test