From 0ae9b04fd7acf4ef8c91c48631dfe245492c8dd3 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 13 Nov 2013 18:45:07 +0000
Subject: [PATCH] FAU bugfix: prob loss counter rest accidentally (I think).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7599 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/FastAdaptiveUniformisation.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/prism/src/explicit/FastAdaptiveUniformisation.java b/prism/src/explicit/FastAdaptiveUniformisation.java
index 051f7518..ec92a42c 100644
--- a/prism/src/explicit/FastAdaptiveUniformisation.java
+++ b/prism/src/explicit/FastAdaptiveUniformisation.java
@@ -119,7 +119,6 @@ public class FastAdaptiveUniformisation extends PrismComponent
 			alive = true;
 			succRates = null;
 			succStates = null;
-			totalProbLoss = 0.0;
 		}
 		
 		/**