From c3cc58d43bfb6520c3070aa52871dbd03e2b2f86 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 19 Jun 2013 10:46:43 +0200
Subject: [PATCH] Revert to old starting point of value iteration. Tests run
 fine now.

Former-commit-id: db1b906b0818f1d31c033a5f52787b93fa9e0b11
---
 src/modelchecker/prctl/SparseMdpPrctlModelChecker.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h b/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h
index 8a7d1c1aa..229295d3a 100644
--- a/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h
+++ b/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h
@@ -627,7 +627,7 @@ namespace storm {
                         solver->solveEquationSystem(A, result, b);
                         return result;
                     } else {
-                        return std::vector<Type>(submatrix.getColumnCount(), Type(0.5));
+                        return std::vector<Type>(submatrix.getColumnCount());
                     }
                 }