From c8e05f71374b48d0b51a7e5a11c70814fc256c03 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Sat, 30 Aug 2014 13:09:14 +0200
Subject: [PATCH] Added explicit template instance.

Former-commit-id: 1ffcf0e47f37837cd5e89e82e1fbc1d6b5708f32
---
 ...logicalValueIterationNondeterministicLinearEquationSolver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp b/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp
index 65451d743..c8fbf9a4e 100644
--- a/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp
+++ b/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp
@@ -462,5 +462,6 @@ namespace storm {
 
         // Explicitly instantiate the solver.
 		template class TopologicalValueIterationNondeterministicLinearEquationSolver<double>;
+		template class TopologicalValueIterationNondeterministicLinearEquationSolver<float>;
     } // namespace solver
 } // namespace storm