diff --git a/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp b/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp
index d6a0b25c6..1c9f3ea9f 100644
--- a/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp
@@ -16,6 +16,8 @@
 #include "storm/environment/Environment.h"
 #include "storm/exceptions/InvalidOperationException.h"
 
+#if defined STORM_HAVE_HYPRO || defined STORM_HAVE_Z3_OPTIMIZE
+
 namespace {
     
     storm::Environment getPositionalDeterministicEnvironment() {
@@ -393,3 +395,5 @@ namespace {
         
     }
 }
+
+#endif /* defined STORM_HAVE_HYPRO || defined STORM_HAVE_Z3_OPTIMIZE */
\ No newline at end of file