From 61a28b7f8e709d1884ccab15f0dc38ed19dfde70 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Tue, 9 Apr 2024 23:48:26 -0600
Subject: Partial arguments in Vaporize.MessageSend, Typecheck for milestone

---
 typecheck/tests/IsPositive.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'typecheck/tests')

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
-- 
cgit v1.2.3