diff --git a/src/storm.cpp b/src/storm.cpp
index 6337bb29a..bd3634d76 100644
--- a/src/storm.cpp
+++ b/src/storm.cpp
@@ -600,11 +600,8 @@ int main(const int argc, const char* argv[]) {
                     if (useMILP) {
                         storm::counterexamples::MILPMinimalLabelSetGenerator<double>::computeCounterexample(program, *mdp, formulaPtr->getChild());
                     } else {
-                        storm::counterexamples::SMTMinimalCommandSetGenerator<double>::computeCounterexample(program, constants, *mdp, formulaPtr->getChild());
+                        // storm::counterexamples::SMTMinimalCommandSetGenerator<double>::computeCounterexample(program, constants, *mdp, formulaPtr->getChild());
                     }
-                    
-                    // Once we are done with the formula, delete it.
-                    delete formulaPtr;
                 }
 
 				// MinCMD Time Measurement, End