From 91125c3c6de882357c57e7433e25af6d8505b46d Mon Sep 17 00:00:00 2001
From: David_Korzeniewski <david.korzeniewski@rwth-aachen.de>
Date: Mon, 9 Dec 2013 18:18:24 +0100
Subject: [PATCH] Fixed build errors on Windows

Former-commit-id: 6ddc16cd5a7b2876ca31e35c7a0336017bd45d31
---
 src/modelchecker/prctl/SparseMdpPrctlModelChecker.h | 6 +++++-
 src/models/AtomicPropositionsLabeling.h             | 1 +
 src/storage/VectorSet.h                             | 1 +
 3 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h b/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h
index 008ea3606..791331e36 100644
--- a/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h
+++ b/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h
@@ -38,10 +38,14 @@ namespace storm {
                  *
                  * @param model The MDP to be checked.
                  */
-                explicit SparseMdpPrctlModelChecker(storm::models::Mdp<Type> const& model, std::shared_ptr<storm::solver::AbstractNondeterministicLinearEquationSolver<Type>> nondeterministicLinearEquationSolver = storm::utility::solver::getNondeterministicLinearEquationSolver<Type>()) : AbstractModelChecker<Type>(model), minimumOperatorStack(), nondeterministicLinearEquationSolver(nondeterministicLinearEquationSolver) {
+				explicit SparseMdpPrctlModelChecker(storm::models::Mdp<Type> const& model) : AbstractModelChecker<Type>(model), minimumOperatorStack(), nondeterministicLinearEquationSolver(storm::utility::solver::getNondeterministicLinearEquationSolver<Type>()) {
                     // Intentionally left empty.
                 }
                 
+				explicit SparseMdpPrctlModelChecker(storm::models::Mdp<Type> const& model, std::shared_ptr<storm::solver::AbstractNondeterministicLinearEquationSolver<Type>> nondeterministicLinearEquationSolver) : AbstractModelChecker<Type>(model), minimumOperatorStack(), nondeterministicLinearEquationSolver(nondeterministicLinearEquationSolver) {
+					// Intentionally left empty.
+				}
+
                 /*!
                  * Copy constructs a SparseMdpPrctlModelChecker from the given model checker. In particular, this means that the newly
                  * constructed model checker will have the model of the given model checker as its associated model.
diff --git a/src/models/AtomicPropositionsLabeling.h b/src/models/AtomicPropositionsLabeling.h
index 2de73bd1d..51ece6e34 100644
--- a/src/models/AtomicPropositionsLabeling.h
+++ b/src/models/AtomicPropositionsLabeling.h
@@ -13,6 +13,7 @@
 #include <ostream>
 #include <stdexcept>
 #include <set>
+#include <map>
 
 #include "src/utility/Hash.h"
 
diff --git a/src/storage/VectorSet.h b/src/storage/VectorSet.h
index bb5de042e..09a4d333c 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 <cstdint>
 #include <set>
 #include <algorithm>
 #include <iostream>