1 files changed, 0 insertions, 1 deletions
diff --git a/main.c b/main.c
index aa537ca..33562d0 100644
--- a/main.c
+++ b/main.c
@@ -1,6 +1,5 @@
 /* 
 TODO:
-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??