diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index 5d374e679..075a1e7dc 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/src/storm-pomdp-cli/storm-pomdp.cpp
@@ -88,8 +88,6 @@ int main(const int argc, const char** argv) {
 
 
         auto const& coreSettings = storm::settings::getModule<storm::settings::modules::CoreSettings>();
-        auto const& generalSettings = storm::settings::getModule<storm::settings::modules::GeneralSettings>();
-        auto const& bisimulationSettings = storm::settings::getModule<storm::settings::modules::BisimulationSettings>();
         auto const& pomdpSettings = storm::settings::getModule<storm::settings::modules::POMDPSettings>();
 
         // For several engines, no model building step is performed, but the verification is started right away.
@@ -218,4 +216,4 @@ int main(const int argc, const char** argv) {
         STORM_LOG_ERROR("An unexpected exception occurred and caused Storm-pomdp to terminate. The message of this exception is: " << exception.what());
         return 2;
     }
-}
\ No newline at end of file
+}
diff --git a/src/storm-pomdp/transformer/GlobalPOMDPSelfLoopEliminator.cpp b/src/storm-pomdp/transformer/GlobalPOMDPSelfLoopEliminator.cpp
index 76107a7e4..c61ce5b0f 100644
--- a/src/storm-pomdp/transformer/GlobalPOMDPSelfLoopEliminator.cpp
+++ b/src/storm-pomdp/transformer/GlobalPOMDPSelfLoopEliminator.cpp
@@ -11,7 +11,6 @@ namespace storm {
         std::shared_ptr<storm::models::sparse::Pomdp<ValueType>> GlobalPOMDPSelfLoopEliminator<ValueType>::transform() const
         {
             uint64_t nrStates = pomdp.getNumberOfStates();
-            bool nondeterminism = false;
 
             std::vector<storm::storage::BitVector> observationSelfLoopMasks;
             for (uint64_t obs = 0; obs < pomdp.getNrObservations(); ++obs) {
@@ -79,4 +78,4 @@ namespace storm {
 
         template class GlobalPOMDPSelfLoopEliminator<storm::RationalNumber>;
     }
-}
\ No newline at end of file
+}