From 49ca253cccb225d03030424b295e77d3a5e96975 Mon Sep 17 00:00:00 2001
From: Alexander Bork <alexander.bork@rwth-aachen.de>
Date: Fri, 16 Aug 2019 12:21:24 +0200
Subject: [PATCH] Cleanup

---
 src/storm-dft-cli/storm-dft.cpp | 1 -
 1 file changed, 1 deletion(-)

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