# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1612063700 0
# Node ID 7a9cc14d09120a58c762dde27f5400cdfcd92b43
# Parent  97ecdc8cb61b9ee42074d4d392bfd790e50e832b
marking 5

diff -r 97ecdc8cb61b -r 7a9cc14d0912 main_marking5/bf_test.sh
--- a/main_marking5/bf_test.sh	Sun Jan 31 03:24:32 2021 +0000
+++ b/main_marking5/bf_test.sh	Sun Jan 31 03:28:20 2021 +0000
@@ -312,4 +312,4 @@
 echo -e "Overall mark for Part 5 (Scala)" | tee -a $out
 echo -e "$marks" | tee -a $out
 
-sleep 10
+sleep 12