From 2794de23425d5e5154937d479d02f334caa9585d Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 13 Jun 2017 16:28:17 +0200
Subject: [PATCH] added missing include to make gcc happy

---
 src/test/modelchecker/GameBasedMdpModelCheckerTest.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/modelchecker/GameBasedMdpModelCheckerTest.cpp b/src/test/modelchecker/GameBasedMdpModelCheckerTest.cpp
index 0c932d0c8..960cc56bc 100644
--- 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"