From f6d6d952a6b929a2c10f4bc85701844e0d25ce17 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 5 Mar 2020 11:59:59 +0100
Subject: [PATCH] Fixed warnings

---
 src/storm-pgcl/storage/ppg/ProgramEdge.h | 5 ++++-
 src/storm-pomdp-cli/storm-pomdp.cpp      | 1 -
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/storm-pgcl/storage/ppg/ProgramEdge.h b/src/storm-pgcl/storage/ppg/ProgramEdge.h
index 047683f92..5561bcd89 100644
--- a/src/storm-pgcl/storage/ppg/ProgramEdge.h
+++ b/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;
             }
diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index 3da5f6662..5f2eb128f 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/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();