From dbc3b057dc6094971778c8f110d8e2bc82c895d5 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Sat, 9 Jan 2016 04:24:41 -0500
Subject: [PATCH] Fixed typo in docs

---
 scribblings/curnel.scrbl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scribblings/curnel.scrbl b/scribblings/curnel.scrbl
index 1bad8e1..5875b2b 100644
--- a/scribblings/curnel.scrbl
+++ b/scribblings/curnel.scrbl
@@ -28,7 +28,6 @@ restricted impredicative universe.
 
 @examples[#:eval curnel-eval
           (Type 1)]
-}
 
 @examples[#:eval curnel-eval
           Type]