From 5a62623e5d8c9d2e0f2c83dca475435084fa887c Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Wed, 22 Jun 2011 14:43:42 -0400
Subject: [PATCH] Remove duplicate require.

original commit: 32d80f4c014ebe7c86e006e67ae820fb02c19e6f
---
 collects/typed-scheme/types/abbrev.rkt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/collects/typed-scheme/types/abbrev.rkt b/collects/typed-scheme/types/abbrev.rkt
index ca1cbcb5..6ee25737 100644
--- a/collects/typed-scheme/types/abbrev.rkt
+++ b/collects/typed-scheme/types/abbrev.rkt
@@ -14,7 +14,6 @@
          (prefix-in c: racket/contract/base)
          (for-syntax racket/base syntax/parse)
 	 (for-template racket/base racket/contract/base racket/promise racket/tcp racket/flonum)
-         racket/pretty
          ;; for base type predicates
          racket/promise racket/tcp racket/flonum)