From bb0b14bfa2d884a6b8db827ea23adde16802bca8 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Sun, 15 Dec 2019 18:28:57 +0100
Subject: [PATCH]  oops. missed a brace

---
 src/storm-pomdp-cli/settings/modules/POMDPSettings.cpp | 1 +
 1 file changed, 1 insertion(+)

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();