From d1a39e48fe34d7c0c7ec00a2341fa00982532a5a Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 1 Mar 2021 18:30:45 +0100
Subject: [PATCH] removed unused template instantiations

---
 src/storm/shields/AbstractShield.cpp  | 3 ---
 src/storm/shields/PreSafetyShield.cpp | 3 ---
 2 files changed, 6 deletions(-)

diff --git a/src/storm/shields/AbstractShield.cpp b/src/storm/shields/AbstractShield.cpp
index 41322b837..62944b7d9 100644
--- a/src/storm/shields/AbstractShield.cpp
+++ b/src/storm/shields/AbstractShield.cpp
@@ -21,9 +21,6 @@ namespace tempest {
 
         // Explicitly instantiate appropriate
         template class AbstractShield<double, typename storm::storage::SparseMatrix<double>::index_type>;
-        template class AbstractShield<float, typename storm::storage::SparseMatrix<float>::index_type>;
-        template class AbstractShield<int, typename storm::storage::SparseMatrix<int>::index_type>;
-        template class AbstractShield<storm::storage::sparse::state_type, typename storm::storage::SparseMatrix<storm::storage::sparse::state_type>::index_type>;
 #ifdef STORM_HAVE_CARL
         template class AbstractShield<storm::RationalNumber, typename storm::storage::SparseMatrix<storm::RationalNumber>::index_type>;
 #endif
diff --git a/src/storm/shields/PreSafetyShield.cpp b/src/storm/shields/PreSafetyShield.cpp
index 5b45e8b7f..7cb944299 100644
--- a/src/storm/shields/PreSafetyShield.cpp
+++ b/src/storm/shields/PreSafetyShield.cpp
@@ -20,9 +20,6 @@ namespace tempest {
         }
         // Explicitly instantiate appropriate
         template class PreSafetyShield<double, typename storm::storage::SparseMatrix<double>::index_type>;
-        template class PreSafetyShield<float, typename storm::storage::SparseMatrix<float>::index_type>;
-        template class PreSafetyShield<int, typename storm::storage::SparseMatrix<int>::index_type>;
-        template class PreSafetyShield<storm::storage::sparse::state_type, typename storm::storage::SparseMatrix<storm::storage::sparse::state_type>::index_type>;
 #ifdef STORM_HAVE_CARL
         template class PreSafetyShield<storm::RationalNumber, typename storm::storage::SparseMatrix<storm::RationalNumber>::index_type>;
 #endif