1 files changed, 1 insertions, 1 deletions
diff --git a/lib.rkt b/lib.rkt
index 29d3b83..e44eb6a 100644
--- a/lib.rkt
+++ b/lib.rkt
@@ -95,7 +95,7 @@
     [`(let (,id : (,a → ,b)) (λ ,x ,e) ,in)
       (desugar `((λ (,id : (,a → ,b)) ,in) (λ (,x : ,a) ,e)))]
     [`(let ,x (,e : ,t) ,in)
-      (desugar `((λ (,x : ,t) ,in) ,e))]
+      (desugar `((λ (,x : ,t) ,in) (,e : ,t)))]
     [`(let ,x ,e ,in)
       (desugar `((λ ,x ,in) ,e))]
     [`(let ,x ,e)