From 04cb930bda3a7390ba67bf8ea9141332f61a9347 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Sat, 6 Aug 2016 19:12:10 +0200
Subject: [PATCH] removed copied debug output at a silly place

Former-commit-id: 27946240f554ded3625d5c0c7c6cba434b77f53c
---
 src/solver/stateelimination/PrioritizedStateEliminator.cpp | 3 ---
 1 file changed, 3 deletions(-)

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
                 }
             }