diff --git a/src/storm/cli/cli.cpp b/src/storm/cli/cli.cpp index 6d1f8020a..5ca091db5 100644 --- a/src/storm/cli/cli.cpp +++ b/src/storm/cli/cli.cpp @@ -13,6 +13,9 @@ #include "storm/modelchecker/results/SymbolicQualitativeCheckResult.h" +#include "storm/models/sparse/StandardRewardModel.h" +#include "storm/models/symbolic/StandardRewardModel.h" + #include "storm/utility/resources.h" #include "storm/utility/file.h" #include "storm/utility/storm-version.h"