From 13bc33328ae50770ddf934dff6d040f2eaf08483 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 20 Sep 2018 13:59:58 +0200
Subject: [PATCH] fix in toJaniConverter

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

diff --git a/src/storm/storage/prism/ToJaniConverter.cpp b/src/storm/storage/prism/ToJaniConverter.cpp
index 0aebd241f..7b62f2324 100644
--- a/src/storm/storage/prism/ToJaniConverter.cpp
+++ b/src/storm/storage/prism/ToJaniConverter.cpp
@@ -405,7 +405,7 @@ namespace storm {
                     }
                     std::map<storm::expressions::Variable, storm::expressions::Expression> renamedFormulaToFunctionCallMap;
                     for (auto const& formulaToFunctionCall : formulaToFunctionCallMap) {
-                        renamedFormulaToFunctionCallMap[formulaToFunctionCall.first] = storm::jani::substituteJaniExpression(formulaToFunctionCall.second, renamedFormulaToFunctionCallMap);
+                        renamedFormulaToFunctionCallMap[formulaToFunctionCall.first] = storm::jani::substituteJaniExpression(formulaToFunctionCall.second, renamingAsSubstitution);
                     }
                     automaton.substitute(renamedFormulaToFunctionCallMap);
                 }