diff -r c5f89ee12d25 -r 3a9acfc6106b marking3/knight1_test.sh
--- a/marking3/knight1_test.sh	Tue Feb 04 11:20:31 2020 +0000
+++ b/marking3/knight1_test.sh	Tue Feb 04 14:15:42 2020 +0000
@@ -165,7 +165,7 @@
   then
      END=$(date +%s)
      DIFF=$(( $END - $START ))
-     echo " It took $DIFF seconds" | tee -a $out 
+     echo "  It took $DIFF seconds" | tee -a $out 
      echo -e "  --> success\n" | tee -a $out
      marks=$(( marks + 1 ))
   else