--- a/marking2/danube_test2.sh	Mon Jan 28 12:49:19 2019 +0000
+++ b/marking2/danube_test2.sh	Sat Feb 02 01:21:43 2019 +0000
@@ -27,7 +27,7 @@
 # functional tests
 
 function scala_assert {
-  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -nc -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
@@ -50,6 +50,7 @@
   tsts0=$(( 0 )) 
 fi
 
+
 ### compilation test