From 99181f0ec33222da86da5fd238eefca3895dcf9a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 4 Jul 2013 09:02:54 +0000
Subject: [PATCH] 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 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/parser/ast/ExpressionFunc.java b/prism/src/parser/ast/ExpressionFunc.java
index 04399dfb..d5e1505b 100644
--- a/prism/src/parser/ast/ExpressionFunc.java
+++ b/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);