diff --git a/src/storm-dft-cli/storm-dft.cpp b/src/storm-dft-cli/storm-dft.cpp
index d5f4bba36..f14d3e6ca 100644
--- a/src/storm-dft-cli/storm-dft.cpp
+++ b/src/storm-dft-cli/storm-dft.cpp
@@ -92,7 +92,6 @@ void processOptions() {
         return;
     }
 
-    // TODO introduce some flags
     bool useSMT = false;
     uint64_t solverTimeout = 10;
 #ifdef STORM_HAVE_Z3