diff --git a/zo-lib/compiler/zo-structs.rkt b/zo-lib/compiler/zo-structs.rkt
index fecdece92b..a38134be23 100644
--- a/zo-lib/compiler/zo-structs.rkt
+++ b/zo-lib/compiler/zo-structs.rkt
@@ -68,7 +68,7 @@
 
 (define-form-struct compilation-top ([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)])) ; compiled code always wrapped with this