From 53cb310c7aa12387bc03cb646edfb28c04518880 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 3 Jun 2015 14:52:48 +0000
Subject: [PATCH] Code tidy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9901 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/DTMCSimple.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/explicit/DTMCSimple.java b/prism/src/explicit/DTMCSimple.java
index 3e0d5c15..b20fdd22 100644
--- a/prism/src/explicit/DTMCSimple.java
+++ b/prism/src/explicit/DTMCSimple.java
@@ -221,7 +221,7 @@ public class DTMCSimple extends DTMCExplicit implements ModelSimple
 	{
 		return trans.get(s).getSupport().iterator();
 	}
-	
+
 	@Override
 	public boolean isSuccessor(int s1, int s2)
 	{
@@ -362,7 +362,7 @@ public class DTMCSimple extends DTMCExplicit implements ModelSimple
 		int i, j;
 		double prob;
 		Distribution distr;
-		
+
 		// Initialise result to 0
 		for (j = 0; j < numStates; j++) {
 			result[j] = 0;