From 5c7a6b791abb692070939c7f198658359edf9d3b Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Sun, 8 Mar 2020 17:50:57 -0700
Subject: [PATCH] fixed (merge?) mistake that yielded errors for expected
 rewards

---
 src/storm-pomdp-cli/storm-pomdp.cpp | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index 0e6a9d627..146f842aa 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/src/storm-pomdp-cli/storm-pomdp.cpp
@@ -239,12 +239,9 @@ int main(const int argc, const char** argv) {
         }
 
         if (formula) {
-            storm::logic::ProbabilityOperatorFormula const &probFormula = formula->asProbabilityOperatorFormula();
-            storm::logic::Formula const &subformula1 = probFormula.getSubformula();
-
-
             if (formula->isProbabilityOperatorFormula()) {
-
+                storm::logic::ProbabilityOperatorFormula const &probFormula = formula->asProbabilityOperatorFormula();
+                storm::logic::Formula const &subformula1 = probFormula.getSubformula();
                 std::set<uint32_t> targetObservationSet;
                 storm::storage::BitVector targetStates(pomdp->getNumberOfStates());
                 storm::storage::BitVector badStates(pomdp->getNumberOfStates());