diff --git a/src/solver/SmtratSmtSolver.cpp b/src/solver/SmtratSmtSolver.cpp
index cacc47836..0882fb07a 100644
--- a/src/solver/SmtratSmtSolver.cpp
+++ b/src/solver/SmtratSmtSolver.cpp
@@ -4,6 +4,8 @@
 #include "src/exceptions/InvalidStateException.h"
 
 #ifdef STORM_HAVE_SMTRAT
+
+#ifdef SMTRATDOESNTWORK // Does not compile with current version of smtrat.
 #include "lib/smtrat.h"
 
 namespace storm {
@@ -85,4 +87,5 @@ namespace storm {
 
         }
 }
+#endif
 #endif
\ No newline at end of file
diff --git a/src/solver/SmtratSmtSolver.h b/src/solver/SmtratSmtSolver.h
index 4f9126771..0e1cb931d 100644
--- a/src/solver/SmtratSmtSolver.h
+++ b/src/solver/SmtratSmtSolver.h
@@ -4,6 +4,8 @@
 #include "src/solver/SmtSolver.h"
 
 #ifdef STORM_HAVE_SMTRAT
+#ifdef SMTRATDOESNTWORK // Does not compile with current version of smtrat.
+
 #include "lib/smtrat.h"
 #include "../adapters/carlAdapter.h"
 
@@ -45,5 +47,6 @@ namespace storm {
 	}
 }
 #endif
+#endif
 
 #endif // STORM_SOLVER_SMTRATSMTSOLVER
\ No newline at end of file