From d6ff967ef04a898476c7864cba562bec7777325e Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 27 Mar 2014 10:20:02 +0100
Subject: [PATCH 1/2] Added missing algorithm header inclusion.

Former-commit-id: 32231ecb8d0e8927cbde64c33b8a1cc667b855eb
---
 src/storage/dd/CuddDd.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storage/dd/CuddDd.cpp b/src/storage/dd/CuddDd.cpp
index be51d5a98..23db4562d 100644
--- a/src/storage/dd/CuddDd.cpp
+++ b/src/storage/dd/CuddDd.cpp
@@ -1,3 +1,5 @@
+#include <algorithm>
+
 #include "src/storage/dd/CuddDd.h"
 #include "src/storage/dd/CuddDdManager.h"
 

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