From 0d3b9b655035ee7b686e0d654d5f3cb60188d275 Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Mon, 3 Oct 2016 16:01:36 -0400
Subject: [PATCH] [docs] add #:error conclusion

---
 turnstile/scribblings/reference.scrbl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/turnstile/scribblings/reference.scrbl b/turnstile/scribblings/reference.scrbl
index d320324..b4f3164 100644
--- a/turnstile/scribblings/reference.scrbl
+++ b/turnstile/scribblings/reference.scrbl
@@ -86,7 +86,9 @@ and then press Control-@litchar{\}.
                [⊢ [_ ≫ expr-template ⇒ type-template]]
                [⊢ [_ ≫ expr-template (⇒ key type-template) ooo ...]]
                [≻ expr-template]
-               [_ ≻ expr-template]]
+               [_ ≻ expr-template]
+               [#:error expr-template]
+               [_ #:error expr-template]]
    [⇐-conclusion [⊢ expr-template]
                  [⊢ [_ ≫ expr-template ⇐ _]]]
    [ooo ...])