# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1223490167 14400
# Node ID 22f111d5cda2dfb8cfc8c3c5c023594ecd34bd06
# Parent  d829cc24faeea2f90ff6885767c4efadbabdc491
Fix red-black section heading

diff -r d829cc24faee -r 22f111d5cda2 src/MoreDep.v
--- a/src/MoreDep.v	Wed Oct 08 14:18:35 2008 -0400
+++ b/src/MoreDep.v	Wed Oct 08 14:22:47 2008 -0400
@@ -362,7 +362,7 @@
 (* end thide *)
 
 
-(** Dependently-Typed Red-Black Trees *)
+(** * Dependently-Typed Red-Black Trees *)
 
 (** TODO: Add commentary for this section. *)