Partial arguments in Vaporize.MessageSend, Typecheck for milestone

2 files changed, 4 insertions, 4 deletions

diff --git a/typecheck/library/TypeCheckSimp.java b/typecheck/library/TypeCheckSimp.java
index b3a9ca3..1a77477 100644
--- a/typecheck/library/TypeCheckSimp.java
+++ b/typecheck/library/TypeCheckSimp.java
@@ -434,7 +434,7 @@ public class TypeCheckSimp extends GJDepthFirst<TypeInstance,SymbolTable> {
         ++this.offset;
         this.printNode(n, symt, true, null);
 
-        TypeInstance ret =      new TypeInstance(null, TypeEnum.integer);
+        TypeInstance ret = new TypeInstance(null, TypeEnum.integer);
 
         this.printNode(n, symt, false, ret.getType());
         --this.offset;
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