From f9efcae75e6d190b945873f18bf7f65aeced4df8 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Fri, 31 May 2013 18:44:02 -0400
Subject: [PATCH] Fix type in error case

original commit: e0acdf1fc11d9e4a713a7ad2b948641197cb1b0a
---
 collects/typed-racket/private/parse-type.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/typed-racket/private/parse-type.rkt b/collects/typed-racket/private/parse-type.rkt
index ea30fb2f..fceb92f5 100644
--- a/collects/typed-racket/private/parse-type.rkt
+++ b/collects/typed-racket/private/parse-type.rkt
@@ -191,7 +191,7 @@
          (match (resolve v)
            [(and s (? Struct?)) (make-StructTop s)]
            [_ (tc-error/delayed "Argument to Struct must be a structure type, got ~a" v)
-              (make-StructTop (Un))]))]
+              (Un)]))]
       [((~and kw t:Instance) t)
        (add-disappeared-use #'kw)
        (let ([v (parse-type #'t)])