1 files changed, 15 insertions, 3 deletions
diff --git a/typecheck/tests/IsPositive.java b/typecheck/tests/IsPositive.java
index 087cd3f..09bcf1d 100644
--- a/typecheck/tests/IsPositive.java
+++ b/typecheck/tests/IsPositive.java
@@ -1,12 +1,24 @@
 class IsPositive{
     public static void main(String[] a){
-        System.out.println(new Positive().isPos(10));
+        System.out.println(new Positive().isPositive(10));
     }
 }
 
 class Positive {
-    public bool isPos(int num){
-        bool positive ;
+    public boolean isPositive(int num){
+        boolean positive ;
+
+        if (0 < num)
+            positive = true ;
+        else
+            positive = false ;
+        return positive ;
+    }
+}
+
+class Positive2 extends Positive {
+    public boolean isPositive(int num){
+        boolean positive ;
 
         if (0 < num)
             positive = true ;