From 4feb332d550afbcbfe16d2f0e5d21279d115e5dd Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Tue, 20 Dec 2016 15:10:23 +0100
Subject: [PATCH] Fixed include file

---
 src/storm/abstraction/MenuGameAbstractor.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm/abstraction/MenuGameAbstractor.cpp b/src/storm/abstraction/MenuGameAbstractor.cpp
index 9b0a11cc0..164802c2b 100644
--- a/src/storm/abstraction/MenuGameAbstractor.cpp
+++ b/src/storm/abstraction/MenuGameAbstractor.cpp
@@ -2,6 +2,8 @@
 
 #include "storm/abstraction/AbstractionInformation.h"
 
+#include "storm/models/symbolic/StandardRewardModel.h"
+
 #include "storm/storage/dd/Add.h"
 #include "storm/storage/dd/Bdd.h"
 #include "storm/utility/dd.h"