From 3ba7e83662e217c04be7c253d35fc03617416c6d Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 19 May 2010 10:37:42 -0400 Subject: [PATCH] Fixed a typo in typed Scheme's base env. original commit: eb95b35a12e886f6678f62f69990b4553684680c --- collects/typed-scheme/private/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index 435a6772..8c1d45c4 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -142,7 +142,7 @@ [fifth (-poly (a) ((-lst a) . -> . a))] [sixth (-poly (a) ((-lst a) . -> . a))] [seventh (-poly (a) ((-lst a) . -> . a))] -[eigth (-poly (a) ((-lst a) . -> . a))] +[eighth (-poly (a) ((-lst a) . -> . a))] [ninth (-poly (a) ((-lst a) . -> . a))] [tenth (-poly (a) ((-lst a) . -> . a))] [rest (-poly (a b)