diff --git a/src/storm-pomdp-cli/settings/modules/POMDPSettings.cpp b/src/storm-pomdp-cli/settings/modules/POMDPSettings.cpp index 8217ba6f2..ccd72779a 100644 --- a/src/storm-pomdp-cli/settings/modules/POMDPSettings.cpp +++ b/src/storm-pomdp-cli/settings/modules/POMDPSettings.cpp @@ -85,6 +85,7 @@ namespace storm { std::string POMDPSettings::getMemlessSearchMethod() const { return this->getOption(memlessSearchOption).getArgumentByName("method").getValueAsString(); + } bool POMDPSettings::isLimitExplorationSet() const { return this->getOption(limitBeliefExplorationOption).getHasOptionBeenSet();