Marke BUG as fixed

Relevant commit: 9252262693432b33dbe4ffc60d79bbdc6fbb5f66

diff --git a/BUGS.org b/BUGS.org
index b43fa7c9b1f1fa73b3f1b114e6659eef64854c95..b8191cad4f824c3a40ad5835ebd18a44f675571e 100644 (file)
--- 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