Removed faulty deletion of cudd utility (is obsolete now anyway).

Former-commit-id: c4dca6c50f
11 years ago · 386fac3935
1 changed files with 1 additions and 1 deletions
--- a/src/storm.cpp
+++ b/src/storm.cpp
@ -240,7 +240,7 @@ void setUp() {
 * Performs some necessary clean-up.
 */
 void cleanUp() {
-	delete storm::utility::cuddUtilityInstance();
+    // Intentionally left empty.
 }

 /*!