Code tidy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9901 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 53cb310c7a
1 changed files with 2 additions and 2 deletions
--- 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;