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