--- a/main_templates5/bfc.scala	Mon Nov 02 02:31:44 2020 +0000
+++ b/main_templates5/bfc.scala	Mon Nov 02 13:10:02 2020 +0000
@@ -111,7 +111,7 @@
 // testcases
 //
 // optimise(load_bff("benchmark.bf"))          // should have inserted 0's
-// optimise(load_bff("mandelbrot.bf")).length  // => 11203
+// optimise(load_bff("mandelbrot.bf")).length  // => 11205
 // 
 // time_needed(1, run3(load_bff("benchmark.bf")))