diff --git a/src/solver/stateelimination/PrioritizedStateEliminator.cpp b/src/solver/stateelimination/PrioritizedStateEliminator.cpp
index a2ccbb869..99ccabb93 100644
--- a/src/solver/stateelimination/PrioritizedStateEliminator.cpp
+++ b/src/solver/stateelimination/PrioritizedStateEliminator.cpp
@@ -43,9 +43,6 @@ namespace storm {
                     if (removeForwardTransitions) {
                         clearStateValues(state);
                     }
-#ifdef STORM_DEV
-                    STORM_LOG_ASSERT(checkConsistent(transitionMatrix, backwardTransitions), "The forward and backward transition matrices became inconsistent.");
-#endif
                 }
             }