diff --git a/src/storm/abstraction/MenuGameRefiner.cpp b/src/storm/abstraction/MenuGameRefiner.cpp
index 102bb56fa..6472b614d 100644
--- a/src/storm/abstraction/MenuGameRefiner.cpp
+++ b/src/storm/abstraction/MenuGameRefiner.cpp
@@ -9,6 +9,8 @@
 
 #include "storm/solver/MathsatSmtSolver.h"
 
+#include "storm/models/symbolic/StandardRewardModel.h"
+
 #include "storm/exceptions/InvalidStateException.h"
 
 #include "storm/settings/SettingsManager.h"