diff --git a/src/core/modelchecking.cpp b/src/core/modelchecking.cpp
index 1084a12..7faafe0 100644
--- a/src/core/modelchecking.cpp
+++ b/src/core/modelchecking.cpp
@@ -1,5 +1,6 @@
 #include "modelchecking.h"
 #include "result.h"
+#include "storm/models/symbolic/StandardRewardModel.h"
 
 template<typename ValueType>
 using CheckTask = storm::modelchecker::CheckTask<storm::logic::Formula, ValueType>;