From 0e0f2c23904192b328b07db354c285d317889628 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 19 Sep 2018 16:22:08 +0200
Subject: [PATCH] fixed substitution of prism formulas

---
 src/storm/storage/prism/Program.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/storage/prism/Program.cpp b/src/storm/storage/prism/Program.cpp
index 864b4df81..6b0c4b876 100644
--- a/src/storm/storage/prism/Program.cpp
+++ b/src/storm/storage/prism/Program.cpp
@@ -360,7 +360,6 @@ namespace storm {
             
             std::map<storm::expressions::Variable, storm::expressions::Expression> newSubstitution;
             for (auto const& substVarExpr : substitution) {
-                STORM_LOG_ASSERT(renamingAsSubstitution.count(substVarExpr.first) == 0, "Conflict: The substitution substitutes the renamed variable " << substVarExpr.first.getName() << ".");
                 newSubstitution.emplace(substVarExpr.first, substVarExpr.second.substitute(renamingAsSubstitution));
             }
             return newSubstitution;
@@ -893,8 +892,9 @@ namespace storm {
                     // The renaming needs to be applied to the substitution as well.
                     auto renamedSubstitution = getSubstitutionForRenamedModule(module, substitution);
                     newModules.emplace_back(module.substitute(renamedSubstitution));
+                } else {
+                    newModules.emplace_back(module.substitute(substitution));
                 }
-                newModules.emplace_back(module.substitute(substitution));
             }
             
             std::vector<RewardModel> newRewardModels;