Added missing include

7 years ago · 78a56cf732
1 changed files with 1 additions and 0 deletions
--- 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>;