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; } }