From 386fac39358c28a0848c6162aa995ae7af5d768b Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 27 Mar 2014 10:37:26 +0100
Subject: [PATCH] Removed faulty deletion of cudd utility (is obsolete now
 anyway).

Former-commit-id: c4dca6c50fa8762fc53ad24fbc2b2c62ff5eafda
---
 src/storm.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm.cpp b/src/storm.cpp
index ef23b9f2f..81e77cf11 100644
--- 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.
 }
 
 /*!