From dc0e434caa94edb88e465bc037d85bb4e0ece725 Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Thu, 16 May 2019 15:52:33 -0400
Subject: [PATCH] make sure begin always has a definition context

---
 racket/typed/core-types.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/racket/typed/core-types.rkt b/racket/typed/core-types.rkt
index 1c87644..c49cdb1 100644
--- a/racket/typed/core-types.rkt
+++ b/racket/typed/core-types.rkt
@@ -1161,7 +1161,7 @@
    #:do [(define-values (e-... τ... ep-effs f-effs s-effs) (walk/bind #'(e_unit ... e)))]
    #:with τ (last τ...)
    --------
-   [⊢ (begin- #,@e-...) (⇒ : τ)
+   [⊢ (let- () #,@e-...) (⇒ : τ)
       (⇒ ν-ep (#,@ep-effs))
       (⇒ ν-f (#,@f-effs))
       (⇒ ν-s (#,@s-effs))]])