From eaae2a9cfcac9e0a9514b406d0fad650bb94c8e5 Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
Date: Wed, 19 Jun 2019 11:21:06 -0700
Subject: [PATCH] First commit to JPF repo on PLRG server.

---
 examples/Reflection.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/Reflection.java b/examples/Reflection.java
index 8bead2e..88f41d5 100644
--- 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);   
  
-- 
2.34.1