X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=src%2Fpeers%2Fgov%2Fnasa%2Fjpf%2Fvm%2FJPF_java_lang_reflect_Array.java;h=325dcb71e3b120965176c96684bd8bfbad2c2cf9;hp=8dfa035595387646cb9678bfe16722b178dd7f50;hb=1f605d3b964885f9d64770b05de8787c5ef9ad62;hpb=a9bc9081ebda74eb6ee5451d2b719405db3a955c

diff --git a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Array.java b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Array.java
index 8dfa035..325dcb7 100644
--- a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Array.java
+++ b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Array.java
@@ -111,7 +111,7 @@ public class JPF_java_lang_reflect_Array extends NativePeer {
   @MJI
   public int get__Ljava_lang_Object_2I__Ljava_lang_Object_2 (MJIEnv env, int clsRef,
                                                                     int aref, int index){
-    String at = env.getArrayType(aref);
+    String at = Types.getTypeName(env.getArrayType(aref));
     if (at.equals("int")){
       int vref = env.newObject("java.lang.Integer");
       env.setIntField(vref, "value", env.getIntArrayElement(aref,index));