First commit to JPF repo on PLRG server.

[jpf-core.git] / examples / Reflection.java

diff --git a/examples/Reflection.java b/examples/Reflection.java
index 8bead2e9b4fa2a4228ad79066bf7eb2fb08ffd06..88f41d555257c6e0fbae9fe898f9225fb289d3b8 100644 (file)
--- a/examples/Reflection.java
+++ b/examples/Reflection.java
@@ -55,8 +55,8 @@ public class Reflection {
  
       }
       System.out.println();*/
-      //TypeVariable[] typeParameters = Generic.class.getTypeParameters();
-      TypeVariable[] typeParameters = SampleClass.class.getTypeParameters();
+      TypeVariable[] typeParameters = Generic.class.getTypeParameters();
+      //TypeVariable[] typeParameters = SampleClass.class.getTypeParameters();
       for(TypeVariable typeVar: typeParameters){
          System.out.println(typeVar);