From 6b094111227a1adac1bea62b4cb6181f219e7029 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 26 Oct 2018 16:11:17 +0200
Subject: [PATCH] Fixed an error in the jani location expander.

---
 src/storm/storage/jani/JaniLocationExpander.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/jani/JaniLocationExpander.cpp b/src/storm/storage/jani/JaniLocationExpander.cpp
index bb94a5de4..15d8b1d7d 100644
--- a/src/storm/storage/jani/JaniLocationExpander.cpp
+++ b/src/storm/storage/jani/JaniLocationExpander.cpp
@@ -98,8 +98,8 @@ namespace storm {
                         int64_t value;
                         for (auto const& assignment : oa) {
                             if (assignment.getVariable() == *variable) {
-                                oa.remove(assignment);
                                 value = assignment.getAssignedExpression().evaluateAsInt();
+                                oa.remove(assignment);
                                 break;
                             }
                         }