diff --git a/Assignments/#03.rkt#1# b/Assignments/#03.rkt#1#
deleted file mode 100644
index edd4924..0000000
Binary files a/Assignments/#03.rkt#1# and /dev/null differ
diff --git a/Assignments/03.rkt b/Assignments/03.rkt
index f32d66c..3ee03b3 100644
--- a/Assignments/03.rkt
+++ b/Assignments/03.rkt
@@ -395,9 +395,7 @@
                          (define filtered (filter (lambda (x) (equal? (first type-list) x)) type-list))
                          (define (check-all lst)
                            (type-case Type (first type-list)
-                             [(varT v t) (if (none? (unbox t))
-                                             (second type-list)
-                                             (error 'typecheck "no type"))]
+                             [(varT v t) (second type-list)]
                              [else (error 'typecheck "no type")]))]
                         (if (equal? filtered type-list)
                             (listT (first type-list))