From b22dd6a64e306aec77e493bb30dc92b95000e1a3 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 3 Jun 2014 21:45:52 +0000
Subject: [PATCH] Remove trailing space when outputting StateValuesMTBDD.

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

diff --git a/prism/src/prism/StateValuesMTBDD.java b/prism/src/prism/StateValuesMTBDD.java
index 33a5f9df..eeb72d11 100644
--- a/prism/src/prism/StateValuesMTBDD.java
+++ b/prism/src/prism/StateValuesMTBDD.java
@@ -624,7 +624,7 @@ public class StateValuesMTBDD implements StateValues
 				}
 				if (i < j-1) outputLog.print(",");
 			}
-			outputLog.print(")=" + dd.getValue() + " ");
+			outputLog.print(")=" + dd.getValue());
 			outputLog.println();
 			return;
 		}