From 90543ad499a0717e2a08ca6ade63d1e0ce342cc0 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 20 Mar 2019 11:43:28 +0100
Subject: [PATCH] Silenced a warning when building storm-pgcl

---
 src/storm-pgcl/storage/ppg/ProgramGraph.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/storm-pgcl/storage/ppg/ProgramGraph.h b/src/storm-pgcl/storage/ppg/ProgramGraph.h
index 68d34e209..164fe4199 100644
--- a/src/storm-pgcl/storage/ppg/ProgramGraph.h
+++ b/src/storm-pgcl/storage/ppg/ProgramGraph.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <storm/exceptions/IllegalArgumentException.h>
 #include "defines.h"
 #include "storm/storage/expressions/Expression.h"
 #include "storm/storage/expressions/Variable.h"
@@ -145,7 +146,6 @@ namespace storm {
                 assert(hasLocation(sourceId));
                 return addProgramEdgeToAllGroups(getLocation(sourceId), action, condition, targetId);
             }
-
             
             ProgramVariableIdentifier getVariableId(std::string const& varName) const {
                 // TODO consider holding a map for this.
@@ -154,7 +154,8 @@ namespace storm {
                         return v.first;
                     }
                 }
-                assert(false);
+                STORM_LOG_THROW(false, storm::exceptions::IllegalArgumentException, "Variable " << varName << " was not found.");
+                return 0;
             }
             
             std::string const& getVariableName(ProgramVariableIdentifier id) const {