From e1333d061679beb699895b308debc5005d164a70 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 7 Sep 2015 08:28:08 -0600
Subject: [PATCH] fix `compilation-top` contract in docs

The associated change in the "zo-lib" package fixes #1038.
---
 pkgs/racket-doc/scribblings/raco/zo-struct.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/racket-doc/scribblings/raco/zo-struct.scrbl b/pkgs/racket-doc/scribblings/raco/zo-struct.scrbl
index bc92d31f64..5de07392c4 100644
--- a/pkgs/racket-doc/scribblings/raco/zo-struct.scrbl
+++ b/pkgs/racket-doc/scribblings/raco/zo-struct.scrbl
@@ -37,7 +37,7 @@ structures that are produced by @racket[zo-parse] and consumed by
 @defstruct+[(compilation-top zo)
             ([max-let-depth exact-nonnegative-integer?]
              [binding-namess (hash/c exact-nonnegative-integer?
-                                     (hash/c symbol? identifier?))]
+                                     (hash/c symbol? stx?))]
              [prefix prefix?]
              [code (or/c form? any/c)])]{
   Wraps compiled code.