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

diff -r e776db3c808b -r a8e7e187bb26 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