FIX: java.lang.Object should be java/lang/Object.

[jpf-core.git] / src / main / gov / nasa / jpf / vm / Types.java

diff --git a/src/main/gov/nasa/jpf/vm/Types.java b/src/main/gov/nasa/jpf/vm/Types.java
index fb4add6cc3acba6b8dcb649c53a29451ce15c1b8..ee64f70a8a2ad9c735e44a20b6006288bdfc7aa4 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/Types.java
+++ b/src/main/gov/nasa/jpf/vm/Types.java
@@ -415,9 +415,9 @@ public class Types {
    * 
    * int    -> int
    * int[]  -> [I
-   * String -> java.lang.String
-   * String[] -> [Ljava.lang.String;
-   * String[][] -> [[Ljava.lang.String;
+   * String -> java/lang/String
+   * String[] -> [Ljava/lang/String;
+   * String[][] -> [[Ljava/lang/String;
    * 
    * <2do> this is really not very efficient
    */
@@ -1020,7 +1020,7 @@ public class Types {
   public static boolean instanceOf (String type, String ofType) {
     int bType = getBuiltinTypeFromSignature(type);
 
-    if ((bType == T_ARRAY) && ofType.equals("Ljava.lang.Object;")) {
+    if ((bType == T_ARRAY) && ofType.equals("Ljava/lang/Object;")) {
       return true;
     }