Added missing header to (hopefully) fix MSVC problems.

Former-commit-id: 0247ce1e35
11 years ago · 686618e6e2
1 changed files with 1 additions and 0 deletions
--- 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 {