From 4c9f22c7c2363b322ebae92a6db996e4cc8b8150 Mon Sep 17 00:00:00 2001 From: dehnert Date: Wed, 17 Aug 2016 20:23:53 +0200 Subject: [PATCH] included missing header Former-commit-id: a1e81897dddc2c011371ae7cfd5ab4c5530326ae --- src/modelchecker/abstraction/GameBasedMdpModelChecker.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/modelchecker/abstraction/GameBasedMdpModelChecker.cpp b/src/modelchecker/abstraction/GameBasedMdpModelChecker.cpp index 81cf6ca20..5859a8d58 100644 --- 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"