added missing include

9 years ago · 6fb4d0025d
1 changed files with 2 additions and 0 deletions
--- a/src/storm/abstraction/MenuGameRefiner.cpp
+++ b/src/storm/abstraction/MenuGameRefiner.cpp
@ -9,6 +9,8 @@
 #include "storm/solver/MathsatSmtSolver.h"
 #include "storm/models/symbolic/StandardRewardModel.h"
 #include "storm/exceptions/InvalidStateException.h"
 #include "storm/settings/SettingsManager.h"