--- a/main_marking5/bfc.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking5/bfc.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -212,7 +212,7 @@
 
 //println(optimise(load_bff("collatz.bf")))
 //optimise(load_bff("benchmark.bf"))          // should have inserted 0's
-//optimise(load_bff("mandelbrot.bf")).length  // => 11205
+//optimise(load_bff("mandelbrot.bf")).length  // => 11203
  
 //time_needed(1, run3(load_bff("benchmark.bf")))
 //time_needed(1, run3(load_bff("mandelbrot.bf")))