From 72af8c72463b5052062f9511e5312e7d4e1bfcc2 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Thu, 4 Sep 2014 23:48:10 +0200
Subject: [PATCH] Added missing (but implicitly declared) template instance.

Former-commit-id: 23a897d83edf57600c22368b9bef7068fa55667c
---
 src/storage/StronglyConnectedComponentDecomposition.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storage/StronglyConnectedComponentDecomposition.cpp b/src/storage/StronglyConnectedComponentDecomposition.cpp
index f243f59bf..a09f04717 100644
--- a/src/storage/StronglyConnectedComponentDecomposition.cpp
+++ b/src/storage/StronglyConnectedComponentDecomposition.cpp
@@ -224,5 +224,6 @@ namespace storm {
         
         // Explicitly instantiate the SCC decomposition.
         template class StronglyConnectedComponentDecomposition<double>;
+		template class StronglyConnectedComponentDecomposition<float>;
     } // namespace storage
 } // namespace storm
\ No newline at end of file