From 3b1ea72604dd0d6e4d90c330615e35e1676241b3 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Wed, 21 Jan 2015 13:20:30 +0100
Subject: [PATCH] Marke BUG as fixed

Relevant commit: 9252262693432b33dbe4ffc60d79bbdc6fbb5f66
---
 BUGS.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/BUGS.org b/BUGS.org
index b43fa7c..b8191ca 100644
--- a/BUGS.org
+++ b/BUGS.org
@@ -4,7 +4,7 @@
     without linearly searching through all BasicBlockWidgets all the
     time
 
-* TODO Splitting BasicBlocks needs to happen sooner
+* DONE Splitting BasicBlocks needs to happen sooner
 
     BasicBlocks are splittet too late these days. As a result we
     sometimes get BasicBlocks that are suffixes of other BasicBlocks
-- 
2.39.2