Guard setInitialStates with hasInitialStatesRestriction

7 years ago · a48f90a523
1 changed files with 5 additions and 3 deletions
--- a/src/storm/storage/jani/Automaton.cpp
+++ b/src/storm/storage/jani/Automaton.cpp
@ -444,9 +444,11 @@ namespace storm {
            for (auto& location : this->getLocations()) {
                location.substitute(substitution);
            }
-            
-            this->setInitialStatesRestriction(substituteJaniExpression(this->getInitialStatesRestriction(), substitution));
-            
+
+            if (hasInitialStatesRestriction()) {
+                this->setInitialStatesRestriction(substituteJaniExpression(this->getInitialStatesRestriction(), substitution));
+            }
+
            edges.substitute(substitution);
        }
        void Automaton::registerTemplateEdge(std::shared_ptr<TemplateEdge> const& te) {