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 {