Removed old TODO

moves-rwth · Sep 2, 2024 · acdc478 · acdc478
1 parent 487b907
commit acdc478
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/storm-dft/generator/DftNextStateGenerator.cpp b/src/storm-dft/generator/DftNextStateGenerator.cpp
@@ -78,7 +78,6 @@ storm::generator::StateBehavior<ValueType, StateType> DftNextStateGenerator<Valu
     storm::generator::StateBehavior<ValueType, StateType> result;
 
     STORM_LOG_TRACE("Currently failable: " << state->getFailableElements().getCurrentlyFailableString(!exploreDependencies));
-    // TODO remove exploreDependencies
     auto iterFailable = this->state->getFailableElements().begin(!exploreDependencies);
 
     // Check for absorbing state: