added missing include to make gcc happy

7 years ago · 2794de2342
1 changed files with 1 additions and 1 deletions
--- a/src/test/modelchecker/GameBasedMdpModelCheckerTest.cpp
+++ b/src/test/modelchecker/GameBasedMdpModelCheckerTest.cpp
@ -3,7 +3,7 @@

 #include "storm/parser/FormulaParser.h"
 #include "storm/logic/Formulas.h"
-#include "storm/models/sparse/StandardRewardModel.h"
+#include "storm/models/symbolic/StandardRewardModel.h"
 #include "storm/models/sparse/Model.h"
 #include "storm/modelchecker/abstraction/GameBasedMdpModelChecker.h"
 #include "storm/modelchecker/results/ExplicitQuantitativeCheckResult.h"