included missing header

Former-commit-id: a1e81897dd
8 years ago · 4c9f22c7c2
1 changed files with 1 additions and 0 deletions
--- a/src/modelchecker/abstraction/GameBasedMdpModelChecker.cpp
+++ b/src/modelchecker/abstraction/GameBasedMdpModelChecker.cpp
@ -1,6 +1,7 @@
 #include "src/modelchecker/abstraction/GameBasedMdpModelChecker.h"

 #include "src/modelchecker/results/SymbolicQuantitativeCheckResult.h"
+#include "src/modelchecker/results/SymbolicQualitativeCheckResult.h"

 #include "src/models/symbolic/StandardRewardModel.h"