From 7c0dd5eaf592aa07db31c6222b91e18d24f4658f Mon Sep 17 00:00:00 2001
From: David_Korzeniewski <david.korzeniewski@rwth-aachen.de>
Date: Wed, 13 Nov 2013 20:38:11 +0100
Subject: [PATCH] Fixed build errors on Windows

Former-commit-id: 10929f075db4834acc86a9398a9d6e33c265c19b
---
 CMakeLists.txt                                           | 6 +++---
 src/ir/expressions/BinaryNumericalFunctionExpression.cpp | 1 +
 src/storage/VectorSet.h                                  | 1 +
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9bb6e10da..72f1adad9 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -361,9 +361,9 @@ endif(ENABLE_GUROBI)
 if (ENABLE_Z3)
     message (STATUS "StoRM - Linking with Z3")
 	include_directories("${Z3_ROOT}/include")
-    target_link_libraries(storm "z3")
-    target_link_libraries(storm-functional-tests "z3")
-    target_link_libraries(storm-performance-tests "z3")
+    target_link_libraries(storm "libz3")
+    target_link_libraries(storm-functional-tests "libz3")
+    target_link_libraries(storm-performance-tests "libz3")
 endif(ENABLE_Z3)
 
 #############################################################
diff --git a/src/ir/expressions/BinaryNumericalFunctionExpression.cpp b/src/ir/expressions/BinaryNumericalFunctionExpression.cpp
index 452fb278a..a80e04ae4 100644
--- a/src/ir/expressions/BinaryNumericalFunctionExpression.cpp
+++ b/src/ir/expressions/BinaryNumericalFunctionExpression.cpp
@@ -6,6 +6,7 @@
  */
 
 #include <sstream>
+#include <algorithm>
 
 #include "BinaryNumericalFunctionExpression.h"
 
diff --git a/src/storage/VectorSet.h b/src/storage/VectorSet.h
index 1bbf30652..b225348cd 100644
--- a/src/storage/VectorSet.h
+++ b/src/storage/VectorSet.h
@@ -8,6 +8,7 @@
 #ifndef STORM_STORAGE_VECTORSET_H
 #define STORM_STORAGE_VECTORSET_H
 
+#include <set>
 #include <algorithm>
 #include <iostream>