From 33a99c2605e7253e7822733ac1d430fc6d27eff0 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Thu, 31 Mar 2011 02:52:15 +0000
Subject: [PATCH] change

---
 Robust/src/Benchmarks/oooJava/labyrinth/Vector_t.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/Vector_t.java b/Robust/src/Benchmarks/oooJava/labyrinth/Vector_t.java
index 1fd44baf..6b5d697b 100644
--- 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];
-- 
2.34.1