From e188551b19ac4759e608ad48dd1ccde4e948a4e0 Mon Sep 17 00:00:00 2001
From: Andrew Kent <andmkent@iu.edu>
Date: Sun, 2 Jul 2017 09:24:50 +0100
Subject: [PATCH] fix binder lvl typo

---
 typed-racket-lib/typed-racket/rep/type-rep.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/typed-racket-lib/typed-racket/rep/type-rep.rkt b/typed-racket-lib/typed-racket/rep/type-rep.rkt
index 24edae33..2426577f 100644
--- a/typed-racket-lib/typed-racket/rep/type-rep.rkt
+++ b/typed-racket-lib/typed-racket/rep/type-rep.rkt
@@ -1350,7 +1350,7 @@
       ;; increment the level of the substituted object
       [(Arrow: dom rst kws rng)
        (make-Arrow (map rec dom)
-                   (and rst (rec/inc rst))
+                   (and rst (rec rst))
                    (map rec kws)
                    (rec/inc rng))]
       ;; Refinement types e.g. {x ∈ τ | ψ(x)}