From 95d53e444b0671fa7b2e05717bcd2c93320cc2f8 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 6 Apr 2021 06:53:35 +0200
Subject: [PATCH] Fixed an issue with jani::VariablSet using different kinds of
 variable names when adding and deleting variables.

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

diff --git a/src/storm/storage/jani/VariableSet.cpp b/src/storm/storage/jani/VariableSet.cpp
index a2fd5a660..0c2b21455 100644
--- a/src/storm/storage/jani/VariableSet.cpp
+++ b/src/storm/storage/jani/VariableSet.cpp
@@ -214,7 +214,7 @@ namespace storm {
             std::shared_ptr<Variable> janiVar = std::move(vToVIt->second);
             variableToVariable.erase(vToVIt);
             
-            nameToVariable.erase(variable.getName());
+            nameToVariable.erase(janiVar->getName());
             eraseFromVariableVector(variables, variable);
             if (janiVar->isBooleanVariable()) {
                 eraseFromVariableVector(booleanVariables, variable);