--- a/main_testing5/bfc_test.sh	Sun Jan 15 10:57:28 2023 +0000
+++ b/main_testing5/bfc_test.sh	Sun Jan 15 10:58:13 2023 +0000
@@ -95,7 +95,7 @@
 if [ $tsts1 -eq 0 ]
 then
     echo -e " combine(optimise(load_bff(\"benchmark.bf\"))).length == 134" >> $out
-    echo -e " combine(optimise(load_bff(\"mandelbrot.bf\"))).length == 6511" >> $out
+    echo -e " combine(optimise(load_bff(\"mandelbrot.bf\"))).length == 6509" >> $out
   
   if (scala_assert $scalafile "bf_test7.scala")
   then