diff --git a/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp b/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp
index 2c01f8c4b..677695e6a 100644
--- a/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp
+++ b/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp
@@ -237,7 +237,7 @@ namespace storm {
                 storm::storage::BitVector acceptingStates;
                 if (Nondeterministic) {
                     STORM_LOG_INFO("Computing MECs and checking for acceptance...");
-                    acceptingStates = computeAcceptingECs(*product->getAcceptance(), product->getProductModel().getTransitionMatrix(), product->getProductModel().getBackwardTransitions(), product); //TODO product is only needed for ->getModelState(pState) (remove arg)
+                    acceptingStates = computeAcceptingECs(*product->getAcceptance(), product->getProductModel().getTransitionMatrix(), product->getProductModel().getBackwardTransitions(), product);
 
                 } else {
                     STORM_LOG_INFO("Computing BSCCs and checking for acceptance...");