From 02238a7c6d713e9e210ab9efee994eb98c843284 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Thu, 17 Jun 2010 15:18:04 -0400
Subject: [PATCH] Fix contract for structs

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

diff --git a/collects/typed-scheme/rep/type-rep.rkt b/collects/typed-scheme/rep/type-rep.rkt
index a824bba004..5c9df27563 100644
--- a/collects/typed-scheme/rep/type-rep.rkt
+++ b/collects/typed-scheme/rep/type-rep.rkt
@@ -218,7 +218,7 @@
             #;
             [flds (listof (cons/c Type/c boolean?))]
             [proc (or/c #f Function?)]
-            [poly? boolean?] 
+            [poly? (or/c #f (listof symbol?))]
             [pred-id identifier?]
             [cert procedure?]
             [acc-ids (listof identifier?)]