From 3ec2dfa43150c52a8d0b85afd52872a0c6a41aa2 Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Wed, 5 Oct 2016 10:32:53 -0400
Subject: [PATCH] =?UTF-8?q?drop=20[=E2=8A=A2=20[e-stx]]=20=E2=87=90-conclu?=
 =?UTF-8?q?sion=20since=20it=20causes=20ambiguity=20and=20is=20undocumente?=
 =?UTF-8?q?d?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 turnstile/turnstile.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/turnstile/turnstile.rkt b/turnstile/turnstile.rkt
index 18c0145..52c0992 100644
--- a/turnstile/turnstile.rkt
+++ b/turnstile/turnstile.rkt
@@ -308,7 +308,7 @@
                   [⊢ [e-stx props:⇒-props/conclusion]])
              #:with :last-clause #'[⊢ [_ ≫ e-stx . props]]]
     ;; ⇐ conclusion
-    [pattern (~or [⊢ [e-stx]] [⊢ (~and e-stx (~not [_ ≫ . rst]))])
+    [pattern [⊢ (~and e-stx (~not [_ ≫ . rst]))]
              #:with :last-clause #'[⊢ [_ ≫ e-stx ⇐ : _]]]
     [pattern (~or [⊢ pat* ≫ e-stx ⇐ τ-pat]
                   [⊢ pat* ≫ e-stx ⇐ : τ-pat]