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