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(submatrix.getColumnCount(), Type(0.5)); + return std::vector(submatrix.getColumnCount()); } }