Cleanup

5 years ago · 49ca253ccc
1 changed files with 0 additions and 1 deletions
--- 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