From bf99724f3b72cd447610e071932811901457b4ed Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Thu, 27 Feb 2020 13:36:13 +0100 Subject: [PATCH] Added missing include. --- .../modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp b/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp index b10ed1081..fea7794ce 100755 --- a/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp @@ -12,6 +12,7 @@ #include "storm/models/sparse/MarkovAutomaton.h" #include "storm/models/symbolic/MarkovAutomaton.h" #include "storm/models/sparse/StandardRewardModel.h" +#include "storm/models/symbolic/StandardRewardModel.h" #include "storm/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h" #include "storm/modelchecker/csl/HybridMarkovAutomatonCslModelChecker.h" #include "storm/modelchecker/results/QuantitativeCheckResult.h"