fixes issue #10 raised by Joachim Klein

7 years ago · 2d30108b49
1 changed files with 1 additions and 1 deletions
--- a/src/storm/logic/VariableSubstitutionVisitor.cpp
+++ b/src/storm/logic/VariableSubstitutionVisitor.cpp
@ -53,7 +53,7 @@ namespace storm {
                if (f.hasUpperBound(i)) {
                    upperBounds.push_back(TimeBound(f.isUpperBoundStrict(i), f.getUpperBound(i).substitute(substitution)));
                } else {
-                    lowerBounds.push_back(boost::none);
+                    upperBounds.push_back(boost::none);
                }
                tbReferences.push_back(f.getTimeBoundReference(i));
            }