From 9d19e2028589de61baad57d09c8d096c91c9f462 Mon Sep 17 00:00:00 2001
From: Georg Hopp <georg@steffers.org>
Date: Thu, 22 Aug 2013 14:48:11 +0100
Subject: [PATCH] small fix in rbinsert doc

---
 docs/rbinsert.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/rbinsert.txt b/docs/rbinsert.txt
index 952f9cb..728d7e1 100644
--- a/docs/rbinsert.txt
+++ b/docs/rbinsert.txt
@@ -223,7 +223,7 @@ and parent color to black.
 
                                 B(11)
                   
-                    R(8)                         B(13)
+                    R(8)                         R(13)
 
              B(3)         B(9)            B(12)           B(16)