From 9cf3c67be9cc392366fcf68adb5c4575aa2482c5 Mon Sep 17 00:00:00 2001 From: dehnert Date: Sun, 11 Jun 2017 20:52:33 +0200 Subject: [PATCH] added missing include of StandardRewardModel.h --- src/storm/cli/cli.cpp | 3 +++ 1 file changed, 3 insertions(+) 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"