From 400ed9ead0c1dca8ca18273413821fce36631de1 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 23 Sep 2016 14:18:02 +0200
Subject: [PATCH] fix bug in parser

Former-commit-id: bb3c305b78d946be80653cac1966ae885854e3b7 [formerly 97289aeb3047fd790525b6d1676912d3bb16ea4f]
Former-commit-id: 1b516b4b0d24139995741e97f5202a85224faf7a
---
 src/parser/JaniParser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser/JaniParser.cpp b/src/parser/JaniParser.cpp
index 343f8e2ce..3986f5bec 100644
--- a/src/parser/JaniParser.cpp
+++ b/src/parser/JaniParser.cpp
@@ -655,7 +655,7 @@ namespace storm {
                 for(auto const& destEntry : edgeEntry.at("destinations")) {
                     // target location
                     STORM_LOG_THROW(edgeEntry.count("location") == 1, storm::exceptions::InvalidJaniException, "Each destination in edge from '" << sourceLoc << "' in automaton '" << name << "' must have a target location");
-                    std::string targetLoc = getString(edgeEntry.at("location"), "target location for edge from '" + sourceLoc + "' in automaton '" + name + "'");
+                    std::string targetLoc = getString(destEntry.at("location"), "target location for edge from '" + sourceLoc + "' in automaton '" + name + "'");
                     STORM_LOG_THROW(locIds.count(targetLoc) == 1, storm::exceptions::InvalidJaniException, "Target of edge has unknown location '" << targetLoc << "' in automaton '" << name << "'.");
                     // probability
                     storm::expressions::Expression probExpr;