--- a/main_templates5/bfc.scala	Thu Nov 03 09:55:11 2022 +0000
+++ b/main_templates5/bfc.scala	Thu Nov 03 11:30:09 2022 +0000
@@ -66,7 +66,7 @@
 // testcases
 //
 // 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")))