From 686618e6e2d5174ae7f8d634dfd0bc648e0c3ad0 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 12 May 2014 21:57:52 +0200
Subject: [PATCH] Added missing header to (hopefully) fix MSVC problems.

Former-commit-id: 0247ce1e355226573ff04c44f6512aa6c690192f
---
 src/storage/expressions/Valuation.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storage/expressions/Valuation.h b/src/storage/expressions/Valuation.h
index f7ab3c985..a09c4f07c 100644
--- a/src/storage/expressions/Valuation.h
+++ b/src/storage/expressions/Valuation.h
@@ -2,6 +2,7 @@
 #define STORM_STORAGE_EXPRESSIONS_VALUATION_H_
 
 #include <string>
+#include <set>
 
 namespace storm {
     namespace expressions {