Fixing another bug for getGenericReturnType so that it recognizes Class<?> as Wildcar...

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

diff --git a/src/main/gov/nasa/jpf/vm/ClassInfo.java b/src/main/gov/nasa/jpf/vm/ClassInfo.java
index eaaa3d01b2fddab8291709213d92452469d40636..abc9499818e31ba264210cfbfdf7dd9341e178b9 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/ClassInfo.java
+++ b/src/main/gov/nasa/jpf/vm/ClassInfo.java
@@ -2601,9 +2601,7 @@ public class ClassInfo extends InfoObject implements Iterable<MethodInfo>, Gener
 
   // TODO: Fix for Groovy's model-checking
   public String[] getGenericTypeVariableNames () {
-    // TODO: We need to double check but for some reason Groovy has a type of generic signature with "<*>"
-    // TODO: in the class file.
-    if (genericSignature == null || genericSignature.equals("") || genericSignature.contains("<*>"))
+    if (genericSignature == null || genericSignature.equals(""))
       return new String[0];
     if (!genericSignature.contains(":"))
       return new String[0];