From 3a94b8ad690864d080a479c8ce189db5649673d4 Mon Sep 17 00:00:00 2001
From: Timo Philipp Gros <timopgros@gmail.com>
Date: Thu, 21 Dec 2017 17:50:54 +0100
Subject: [PATCH] ignoring kappa, taking in account epsilon

---
 .../modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
index a5b70f3d2..07939614f 100644
--- a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
+++ b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
@@ -694,7 +694,7 @@ namespace storm {
                     }
                     oldDiff = maxNorm;
                     std::cout << "Finished Iteration for N = " << N << " with difference " << maxNorm << "\n";
-                } while (maxNorm > epsilon * (1 - kappa));
+                } while (maxNorm > epsilon /* * (1 - kappa)*/);
 
                 logfile.close();
                 return unifVectors[0][0];