Spaces in ExpressionFunc toString.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6993 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/ast/ExpressionFunc.java

@@ -370,11 +370,11 @@ public class ExpressionFunc extends Expression
 		if (!oldStyle)
 			s += name + "(";
 		else
-			s += "func(" + name + ",";
+			s += "func(" + name + ", ";
 		n = operands.size();
 		for (i = 0; i < n; i++) {
 			if (!first)
-				s += ",";
+				s += ", ";
 			else
 				first = false;
 			s = s + getOperand(i);