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.
 }
 
 /*!