diff -r a8e7e187bb26 -r 9c0b7d676c7d main_marking5/bf_test7.scala
--- a/main_marking5/bf_test7.scala	Sun Jan 31 03:28:20 2021 +0000
+++ b/main_marking5/bf_test7.scala	Fri Jul 16 23:34:19 2021 +0100
@@ -1,7 +1,7 @@
 import CW10b._
 
 assert(combine(optimise(load_bff("benchmark.bf"))).length == 134)
-assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6509)
+assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6511)