From 3a704ae5327b01c298e44ffa318c7a636c9c7cb0 Mon Sep 17 00:00:00 2001 From: sjunges Date: Sun, 10 Jun 2018 18:51:25 +0200 Subject: [PATCH] fix storm-dft missing includes --- src/storm-dft-cli/storm-dft.cpp | 1 + src/storm-dft/modelchecker/dft/DFTModelChecker.cpp | 3 +++ 2 files changed, 4 insertions(+) diff --git a/src/storm-dft-cli/storm-dft.cpp b/src/storm-dft-cli/storm-dft.cpp index 9923330d0..ce31be5b8 100644 --- a/src/storm-dft-cli/storm-dft.cpp +++ b/src/storm-dft-cli/storm-dft.cpp @@ -5,6 +5,7 @@ #include "storm-dft/settings/modules/FaultTreeSettings.h" #include "storm/settings/modules/IOSettings.h" #include "storm/settings/modules/ResourceSettings.h" +#include "storm/settings/modules/GeneralSettings.h" #include "storm/utility/initialize.h" #include "storm-cli-utilities/cli.h" diff --git a/src/storm-dft/modelchecker/dft/DFTModelChecker.cpp b/src/storm-dft/modelchecker/dft/DFTModelChecker.cpp index 8d277d60d..24e39a0f5 100644 --- a/src/storm-dft/modelchecker/dft/DFTModelChecker.cpp +++ b/src/storm-dft/modelchecker/dft/DFTModelChecker.cpp @@ -1,9 +1,12 @@ #include "DFTModelChecker.h" #include "storm/settings/modules/IOSettings.h" +#include "storm/settings/modules/GeneralSettings.h" #include "storm/builder/ParallelCompositionBuilder.h" #include "storm/utility/bitoperations.h" #include "storm/utility/DirectEncodingExporter.h" +#include "storm/modelchecker/results/ExplicitQuantitativeCheckResult.h" +#include "storm/modelchecker/results/ExplicitQualitativeCheckResult.h" #include "storm-dft/builder/ExplicitDFTModelBuilder.h" #include "storm-dft/storage/dft/DFTIsomorphism.h"