included missing header

Former-commit-id: 7e002652ed
9 years ago · 3ea084b777
1 changed files with 2 additions and 0 deletions
--- a/src/utility/graph.cpp
+++ b/src/utility/graph.cpp
@ -7,8 +7,10 @@
 #include "src/storage/sparse/StateType.h"
 #include "src/models/symbolic/DeterministicModel.h"
 #include "src/models/symbolic/NondeterministicModel.h"
+#include "src/models/symbolic/StandardRewardModel.h"
 #include "src/models/sparse/DeterministicModel.h"
 #include "src/models/sparse/NondeterministicModel.h"
+#include "src/models/sparse/StandardRewardModel.h"
 #include "src/utility/constants.h"
 #include "src/exceptions/InvalidArgumentException.h"
 #include "src/storage/dd/CuddBdd.h"