remove debug output

7 years ago · 5bb6564078
1 changed files with 0 additions and 1 deletions
--- a/src/storm/logic/VariableSubstitutionVisitor.cpp
+++ b/src/storm/logic/VariableSubstitutionVisitor.cpp
@ -43,7 +43,6 @@ namespace storm {
            std::vector<storm::logic::TimeBoundReference> tbReferences;

            for (unsigned i = 0; i < f.getDimension(); ++i) {
-                std::cout << f.hasLowerBound(i) << std::endl;
                if (f.hasLowerBound(i)) {
                    lowerBounds.push_back(TimeBound(f.isLowerBoundStrict(i), f.getLowerBound(i).substitute(substitution)));
                } else {