Fix red-black section heading

7230d443 · Adam Chlipala · 726b65f6 · 7230d443
Commit 7230d443 authored Oct 08, 2008 by Adam Chlipala
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

MoreDep.v src/MoreDep.v +1 -1

No files found.
--- a/src/MoreDep.v
+++ b/src/MoreDep.v
@@ -362,7 +362,7 @@ Qed.
 (* end thide *)


-(** Dependently-Typed Red-Black Trees *)
+(** * Dependently-Typed Red-Black Trees *)

 (** TODO: Add commentary for this section. *)