From 78ab1251ad2fe9e07f069ad3f7251edb8357318c Mon Sep 17 00:00:00 2001
From: Ernst Moritz Hahn <emhahn@cs.ox.ac.uk>
Date: Mon, 25 Mar 2013 15:28:54 +0000
Subject: [PATCH] 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
---
 prism/src/explicit/DTMCUniformisedSimple.java | 2 --
 1 file changed, 2 deletions(-)

diff --git a/prism/src/explicit/DTMCUniformisedSimple.java b/prism/src/explicit/DTMCUniformisedSimple.java
index b31d9177..488377ea 100644
--- 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)