bugfix: removed variable which was already declared in grandparent class

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6615 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 78ab1251ad
1 changed files with 0 additions and 2 deletions
--- a/prism/src/explicit/DTMCUniformisedSimple.java
+++ b/prism/src/explicit/DTMCUniformisedSimple.java
@ -45,8 +45,6 @@ public class DTMCUniformisedSimple extends DTMCExplicit
 {
 	// Parent CTMC
 	protected CTMCSimple ctmc;
-	// Also store num states for easy access
-	protected int numStates;
 	// Uniformisation rate
 	protected double q;
 	// Number of extra transitions added (just for stats)