--- a/main_marking5/bf_test6.scala	Sun Jan 31 03:28:20 2021 +0000
+++ b/main_marking5/bf_test6.scala	Fri Jul 16 23:34:19 2021 +0100
@@ -1,7 +1,7 @@
 import CW10b._
 
 assert(optimise(load_bff("benchmark.bf")).length == 181)
-assert(optimise(load_bff("mandelbrot.bf")).length == 11203)
+assert(optimise(load_bff("mandelbrot.bf")).length == 11205)