diff --git a/src/permissivesched/PermissiveSchedulers.cpp b/src/permissivesched/PermissiveSchedulers.cpp
index 8cdca5f8a..8c8a0efef 100644
--- a/src/permissivesched/PermissiveSchedulers.cpp
+++ b/src/permissivesched/PermissiveSchedulers.cpp
@@ -45,13 +45,13 @@ namespace storm {
              goalstates = storm::utility::graph::performProb1A(*mdp, backwardTransitions, storm::storage::BitVector(goalstates.size(), true), goalstates);
              storm::storage::BitVector sinkstates = storm::utility::graph::performProb0A(*mdp,backwardTransitions, storm::storage::BitVector(goalstates.size(), true), goalstates);
 
-            SmtPermissiveSchedulerComputation comp(mdp, goalstates, sinkstates)
+            /*SmtPermissiveSchedulerComputation comp(mdp, goalstates, sinkstates)
 
             if(comp.foundSolution()) {
                 return boost::optional<SubMDPPermissiveScheduler>(comp.getScheduler());
             } else {
                 return boost::optional<SubMDPPermissiveScheduler>();
-            }
+            }*/
          }
     }
 }