From 7d599fa047e20172cdcba36d6d4049b11c20bb86 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <a-nlopes@microsoft.com>
Date: Thu, 2 Oct 2014 11:54:53 +0100
Subject: [PATCH] DoC: fix bug I previously introduced in insert

Signed-off-by: Nuno Lopes <a-nlopes@microsoft.com>
---
 src/muz/rel/doc.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/muz/rel/doc.h b/src/muz/rel/doc.h
index 75b4e9499..5fdfe6297 100644
--- a/src/muz/rel/doc.h
+++ b/src/muz/rel/doc.h
@@ -174,7 +174,6 @@ public:
         for ( ; i < sz; ++i, ++j) {
             if (m.contains(*m_elems[i], *t)) {
                 found = true;
-                break;
             }
             if (m.contains(*t, *m_elems[i])) {
                 m.deallocate(m_elems[i]);