change

diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/Vector_t.java b/Robust/src/Benchmarks/oooJava/labyrinth/Vector_t.java
index 1fd44bafb463bec44aa7c574e55971ea7b109a5e..6b5d697bc69fed32c21776ab46a52be3a25b2908 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/labyrinth/Vector_t.java
+++ b/Robust/src/Benchmarks/oooJava/labyrinth/Vector_t.java
@@ -14,7 +14,7 @@ public class Vector_t {
    * =============================================================================
    */
   public Vector_t vector_alloc (int initCapacity) {
-    int capacity = Math.imax(initCapacity, 1);
+    int capacity = Math.max(initCapacity, 1);
     Vector_t vectorPtr = new Vector_t();
     vectorPtr.capacity = capacity;
     vectorPtr.elements = new Object[capacity];