From fbb41af06860d3faf492d176a49f91a28219b607 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 16 Mar 2008 11:46:00 +0000
Subject: [PATCH] Filter toString() typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@663 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/Filter.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/ast/Filter.java b/prism/src/parser/ast/Filter.java
index 5ce6323d..5f142a9a 100644
--- a/prism/src/parser/ast/Filter.java
+++ b/prism/src/parser/ast/Filter.java
@@ -97,7 +97,7 @@ public class Filter extends ASTElement
 	public String toString()
 	{
 		String s = "";
-		s += " {" + expr + "}";
+		s += "{" + expr + "}";
 		if (minReq) s += "{min}";
 		if (maxReq) s += "{max}";
 		return s;