diff --git a/src/storage/dft/DFTState.cpp b/src/storage/dft/DFTState.cpp
index 53d0f8761..9916bbe0e 100644
--- a/src/storage/dft/DFTState.cpp
+++ b/src/storage/dft/DFTState.cpp
@@ -91,7 +91,9 @@ namespace storm {
         
         template<typename ValueType>
         void DFTState<ValueType>::setDependencySuccessful(size_t id) {
-            mStatus.set(mDft.failureIndex(id));
+            // No distinction between successful dependency and no dependency at all
+            // -> we do not set bit
+            //mStatus.set(mDft.failureIndex(id));
         }
 
         template<typename ValueType>