From e65027bded1afb43e46a898902331464cc7167ac Mon Sep 17 00:00:00 2001
From: JoelKatz <DavidJoelSchwartz@GMail.com>
Date: Thu, 4 Jul 2013 00:30:56 -0700
Subject: [PATCH] This is the right fix.

---
 modules/ripple_basics/containers/ripple_RangeSet.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/modules/ripple_basics/containers/ripple_RangeSet.cpp b/modules/ripple_basics/containers/ripple_RangeSet.cpp
index 3e554039f8..30b0fcafbd 100644
--- a/modules/ripple_basics/containers/ripple_RangeSet.cpp
+++ b/modules/ripple_basics/containers/ripple_RangeSet.cpp
@@ -120,7 +120,9 @@ void RangeSet::clearValue (uint32 v)
                     mRanges.erase (it);
                 else
                 {
-                    ++ (it->first);
+                    uint32 oldEnd = it->second;
+                    mRanges.erase(it);
+                    mRanges[v + 1] = oldEnd;
                 }
             }
             else if (it->second == v)