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

Former-commit-id: 743c59ceca
11 years ago · dd15e60193
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.
 }
 /*!