diff -r b5f3e814a710 -r 33c2655be47d marking2/docdiff_test.sh
--- a/marking2/docdiff_test.sh	Fri Nov 30 14:13:11 2018 +0000
+++ b/marking2/docdiff_test.sh	Sat Dec 01 15:09:37 2018 +0000
@@ -24,13 +24,13 @@
 # compilation tests
 
 function scala_compile {
-  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala "$1" 2>> $out 1>> $out) 
+  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -nc "$1" 2>> $out 1>> $out) 
 }
 
 # functional tests
 
 function scala_assert {
-  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
+  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -nc -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
 }
 
 # purity test