From 8b3159bb6fed7ed22a8d51e0378e0b7a7dff7051 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Thu, 17 Mar 2016 15:38:17 -0400
Subject: [PATCH] Reorganized stdlib docs a bit

Sugar should come first; tactics last
---
 cur-doc/cur/scribblings/stdlib.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cur-doc/cur/scribblings/stdlib.scrbl b/cur-doc/cur/scribblings/stdlib.scrbl
index ff0ed24..2cc2cba 100644
--- a/cur-doc/cur/scribblings/stdlib.scrbl
+++ b/cur-doc/cur/scribblings/stdlib.scrbl
@@ -7,10 +7,10 @@ Cur has a small standard library, primary for demonstration purposes.
 
 @local-table-of-contents[]
 
-@include-section{stdlib/tactics.scrbl}
 @include-section{stdlib/sugar.scrbl}
 @include-section{stdlib/bool.scrbl}
 @include-section{stdlib/nat.scrbl}
 @include-section{stdlib/maybe.scrbl}
 @include-section{stdlib/list.scrbl}
 @include-section{stdlib/typeclass.scrbl}
+@include-section{stdlib/tactics.scrbl}