diff -r e3878cdd38bc -r 703c7e42bf46 marking2/danube_test.sh
--- a/marking2/danube_test.sh	Tue Feb 04 14:15:42 2020 +0000
+++ b/marking2/danube_test.sh	Wed Feb 05 12:24:27 2020 +0000
@@ -40,8 +40,11 @@
 # purity test
 
 function scala_vars {
-   (egrep '\bvar\b|\breturn\b|\.par|ListBuffer|mutable|new Array' "$1" 2> /dev/null 1> /dev/null)
+   (egrep '\bvar\b|\breturn\b|ListBuffer|new Array' "$1" 2> /dev/null 1> /dev/null)
 }
+#function scala_vars {
+#   (egrep '\bvar\b|\breturn\b|\.par|ListBuffer|mutable|new Array' "$1" 2> /dev/null 1> /dev/null)
+#}
 
 
 # var, .par return, ListBuffer test