Fixed include file

8 years ago · 4feb332d55
1 changed files with 2 additions and 0 deletions
--- 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"