1 files changed, 1 insertions, 1 deletions
diff --git a/main.c b/main.c
index 004a5a2..aa537ca 100644
--- a/main.c
+++ b/main.c
@@ -1,8 +1,8 @@
 /* 
 TODO:
-test ArrInt ::= Arr(int);
 make sure fn(t :: Type, x : t) t works
 check fn(x :: int, y := x)
+check fn(x :: int) y := x
 new version of copy_val for copying types??
 
 there are probably places where we enter a function and never exit (in typing?) if there's an error