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] 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"