From 9e46f0391edd53f780bdab834a9c9e290dbd3806 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Thu, 9 Oct 2014 11:00:35 -0400
Subject: [PATCH] Delete useless definition

original commit: cefa13c4d7f175d657f6875f977a1af94e0d5061
---
 .../typed-racket-lib/typed-racket/base-env/prims.rkt            | 2 --
 1 file changed, 2 deletions(-)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
index 1512adca..11bd9c77 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
@@ -1265,8 +1265,6 @@ This file defines two sorts of primitives. All of them are provided into any mod
         #`(define formals.erased body ... last-body*)
         #'-lambda
         #t #t))
-     (define type-ann
-       (and (attribute return.type)))
      ;; insert in type variables if necessary
      (define rhs*
        (syntax-parse rhs