From 98ce81e86ab4d0bc54f7d35e6e32e2a905faabab Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 18 Mar 2019 14:52:46 +0100
Subject: [PATCH] Jani: Fixed an issue where initial expressions for unbounded
variables have not been substituted correctly.
---
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 a3701dbae..c3ba52a5a 100644
--- a/src/storm/storage/jani/VariableSet.cpp
+++ b/src/storm/storage/jani/VariableSet.cpp
@@ -426,7 +426,7 @@ namespace storm {
void VariableSet::substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution) {
for (auto& variable : variables) {
- variable.substitute(substitution);
+ variable->substitute(substitution);
}
}
}