optimization (or bug fix) depending on how you view it

[IRC.git] / Robust / src / ClassLibrary / Vector.java

diff --git a/Robust/src/ClassLibrary/Vector.java b/Robust/src/ClassLibrary/Vector.java
index 1795dace2e4037faf1fce558aa28ef012c1f3732..f4d1f954d1172b50c8458a711719eca2d2ff837e 100644 (file)
--- a/Robust/src/ClassLibrary/Vector.java
+++ b/Robust/src/ClassLibrary/Vector.java
@@ -117,12 +117,12 @@ public class Vector {
       System.printString("Illegal Vector.removeElementAt\n");
       System.exit(-1);
     }
-    removeElement(array, index);
+    removeElement(array, index, size);
     size--;
     array[size]=null;
   }
 
-  public static native void removeElement(Object[] array, int index);
+  public static native void removeElement(Object[] array, int index, int size);
 
   public void removeAllElements() {
     int s = size;