From c78c085e60bf9b8d4be0b56bb5baef702a5a8c56 Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Fri, 30 Sep 2016 12:53:21 -0400
Subject: [PATCH] [docs] dont include stx for-label

---
 turnstile/scribblings/reference.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/turnstile/scribblings/reference.scrbl b/turnstile/scribblings/reference.scrbl
index 0f45220..29a9ff6 100644
--- a/turnstile/scribblings/reference.scrbl
+++ b/turnstile/scribblings/reference.scrbl
@@ -2,7 +2,7 @@
 
 @(require scribble/example racket/sandbox
           (for-label racket/base
-                     (except-in turnstile/turnstile ⊢))
+                     (except-in turnstile/turnstile ⊢ stx))
           "doc-utils.rkt" "common.rkt")
 
 @title{Reference}