From 7515ca52933bf33354c98eecf7a9bc6b33f768b1 Mon Sep 17 00:00:00 2001
From: David_Korzeniewski <david.korzeniewski@rwth-aachen.de>
Date: Fri, 20 Feb 2015 17:01:36 +0100
Subject: [PATCH] Fixed compile errors caused by parts of the c++ standard I've
 never heard of before...

Former-commit-id: 8dbd813f42d0dfd224a7eb1991ac4f8c8d58b20a
---
 ...icalValueIterationNondeterministicLinearEquationSolver.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp b/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp
index 9f2981e92..30331d1ae 100644
--- a/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp
+++ b/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp
@@ -63,9 +63,9 @@ namespace storm {
 #define __FORCE_FLOAT_CALCULATION false
 #endif
 			if (__FORCE_FLOAT_CALCULATION && (sizeof(ValueType) == sizeof(double))) {
-				TopologicalValueIterationNondeterministicLinearEquationSolver<float> tvindles(precision, maximalNumberOfIterations, relative);
+				TopologicalValueIterationNondeterministicLinearEquationSolver<float> tvindles{ precision, maximalNumberOfIterations, relative };
 
-				storm::storage::SparseMatrix<float> new_A = A.toValueType<float>();
+				storm::storage::SparseMatrix<float> new_A = A.template toValueType<float>();
 				std::vector<float> new_x = storm::utility::vector::toValueType<float>(x);
 				std::vector<float> const new_b = storm::utility::vector::toValueType<float>(b);