Fixed warnings

src/storm-pgcl/storage/ppg/ProgramEdge.h

@@ -19,7 +19,10 @@ namespace storm {
             ProgramLocationIdentifier getTargetId() const {
                 return target;
             }
-            
+            ProgramEdgeIdentifier getEdgeId() const {
+                return edgeId;
+            }
+
             storm::expressions::Expression const& getCondition() const {
                 return condition;
             }

src/storm-pomdp-cli/storm-pomdp.cpp

@@ -95,7 +95,6 @@ int main(const int argc, const char** argv) {
 
 
 
-        auto const& coreSettings = storm::settings::getModule<storm::settings::modules::CoreSettings>();
         auto const& pomdpSettings = storm::settings::getModule<storm::settings::modules::POMDPSettings>();
 
         auto symbolicInput = storm::cli::parseSymbolicInput();