diff -r 7a9cc14d0912 -r 839ad118e467 pre_marking3/postfix_test.sh
--- a/pre_marking3/postfix_test.sh	Sun Jan 31 03:28:20 2021 +0000
+++ b/pre_marking3/postfix_test.sh	Fri Jul 16 23:34:19 2021 +0100
@@ -30,7 +30,7 @@
 # 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 -i "$1" -- "$2" -e "" 2> /dev/null 1> /dev/null)
 }
 
 # purity test