diff --git a/src/models/sparse/Ctmc.cpp b/src/models/sparse/Ctmc.cpp
index 371d48270..9f4ddfcd6 100644
--- a/src/models/sparse/Ctmc.cpp
+++ b/src/models/sparse/Ctmc.cpp
@@ -40,9 +40,9 @@ namespace storm {
             
             template class Ctmc<double>;
 
-#ifdef STORM_HAVE_CARL
-            template class Ctmc<storm::RationalFunction>;
-#endif
+//#ifdef STORM_HAVE_CARL
+//            template class Ctmc<storm::RationalFunction>;
+//#endif
             
         } // namespace sparse
     } // namespace models
diff --git a/src/models/sparse/MarkovAutomaton.cpp b/src/models/sparse/MarkovAutomaton.cpp
index 03b9341f2..b04c294f7 100644
--- a/src/models/sparse/MarkovAutomaton.cpp
+++ b/src/models/sparse/MarkovAutomaton.cpp
@@ -218,11 +218,11 @@ namespace storm {
             }
             
             template class MarkovAutomaton<double>;
-            template class MarkovAutomaton<float>;
+//            template class MarkovAutomaton<float>;
             
-#ifdef STORM_HAVE_CARL
-            template class MarkovAutomaton<storm::RationalFunction>;
-#endif
+//#ifdef STORM_HAVE_CARL
+//            template class MarkovAutomaton<storm::RationalFunction>;
+//#endif
 
         } // namespace sparse
     } // namespace models
diff --git a/src/models/sparse/StochasticTwoPlayerGame.cpp b/src/models/sparse/StochasticTwoPlayerGame.cpp
index 132410720..ecbb204c5 100644
--- a/src/models/sparse/StochasticTwoPlayerGame.cpp
+++ b/src/models/sparse/StochasticTwoPlayerGame.cpp
@@ -32,11 +32,11 @@ namespace storm {
             }
             
             template class StochasticTwoPlayerGame<double>;
-            template class StochasticTwoPlayerGame<float>;
+//            template class StochasticTwoPlayerGame<float>;
             
-#ifdef STORM_HAVE_CARL
-            template class StochasticTwoPlayerGame<storm::RationalFunction>;
-#endif
+//#ifdef STORM_HAVE_CARL
+//            template class StochasticTwoPlayerGame<storm::RationalFunction>;
+//#endif
             
         } // namespace sparse
     } // namespace models