FIX: "java.lang.Char" should be "java.lang.Character". However, new unit test fails...

[jpf-core.git] / src / peers / gov / nasa / jpf / vm / JPF_java_lang_reflect_Field.java

diff --git a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Field.java b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Field.java
index 758a0c782f4a82c733119a662dce376c59d70b4c..8880f46cd6f8f2cd556298ca9486a4efaf1f4646 100644 (file)
--- a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Field.java
+++ b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Field.java
@@ -716,7 +716,7 @@ public class JPF_java_lang_reflect_Field extends NativePeer {
       
       if (fi.isBooleanField() && valClsName.equals("java.lang.Boolean")) return true;
       else if (fi.isByteField() && valClsName.equals("java.lang.Byte")) return true;
-      else if (fi.isCharField() && valClsName.equals("java.lang.Char")) return true;
+      else if (fi.isCharField() && valClsName.equals("java.lang.Character")) return true;
       else if (fi.isShortField() && valClsName.equals("java.lang.Short")) return true;
       else if (fi.isIntField() && valClsName.equals("java.lang.Integer")) return true;
       else if (fi.isLongField() && valClsName.equals("java.lang.Long")) return true;